Programs as Diagrams Mehr Bücher von Dusko Pavlovic

Foundations of Security, Protocols, and Equational Reasoning

Algebraic Methodology and Software Technology