A model for synchronous switching circuits and its theory of correctness (1992)

by C Zhou, C A R Hoare
Venue:Formal Methods in System Design