"Towards Simpler and Yet Complete Formal Specifications"

Paulo A. S. Veloso, Antonio L. Furtado (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics