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