A Model for Synchronous Switching Circuits and its Theory of Correctness - Chaochen, Z; Hoare, C (Formal Methods in System Design, 1992)