Semantics of digital circuits - Kloos, C.D (Lecture Notes in Computer Science, 1987)