Design automation of digital systems : theory and techniques - Preiss, Ralph. J. (rz1, 1972)