"A formal method for the specification, analysis, and design of ..."

Louis J. Hafer, Alice C. Parker (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics