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