Semantics of digital circuits / - Delgado Kloos, Carlos. (Springer-Verlag,, 1987)