Semantics of digital circuits - Kloos, Carles Delgado (NEWYORK SPRINGER VERLAG, 1987)