3 works on record
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Foundations of Security, Protocols, and Equational Reasoning
Programs As Diagrams