Semantics of Digital Circuits - Delgado Kloos, Carlos (Lecture Notes in Computer Science Ser.)