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