"Proof Patterns for Formal Methods."

Leo Freitas, Iain Whiteside (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics