"Verifying Formal Specifications of Synchronous Processes."

Patricia P. Griffiths, Charles J. Prenner (1976)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics