Text this: A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics