"A few Remarks on Putting Formal Specifications to Productive Use."

John V. Guttag (1981)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics