A Model for Synchronous Switching Circuits and its Theory of Correctness (Formal Methods in System Design, 1992)

(untitled) - Chaochen, Z; Hoare, C