Semantics of digital circuits - Kloos, Carlos Delgado (Lecture notes in computer science, 1987)