Programs as Diagrams More Books by Dusko Pavlovic

Foundations of Security, Protocols, and Equational Reasoning

Algebraic Methodology and Software Technology