Design methods for digital systems - Chinal, Jean. (Springer-Verlag, 1973)