Programs as Diagrams Más libros de Dusko Pavlovic

Foundations of Security, Protocols, and Equational Reasoning

Algebraic Methodology and Software Technology