6 works on record
On the Refinement Calculus
Formal Methods : Foundations and Applications
Programming Methodology
The Science of Quantitative Information Flow
When God Speaks, Obey!
Memoirs of a Small Town Christian Police Officer
