A Model for Synchronous Switching Circuits and its Theory of Correctness
Zhou Chaochen and C. A. R. Hoare
Journal
Formal Methods in System Design
Number
1
Pages
7−28
Volume
1
Year
1992
Zhou Chaochen and C. A. R. Hoare