@inproceedings{POPL-1976-GriffithsP,
	author        = "Patricia P. Griffiths and Charles J. Prenner",
	booktitle     = "{Conference Record of the Third Symposium on Principles of Programming Languages}",
	doi           = "10.1145/800168.811553",
	editor        = "Susan L. Graham and Robert M. Graham and Michael A. Harrison and William I. Grosky and Jeffrey D. Ullman",
	pages         = "192--208",
	publisher     = "{ACM Press}",
	title         = "{Verifying Formal Specifications of Synchronous Processes}",
	year          = 1976,
}