LOGIC DESIGN AND SIMULATION - Zimmermann, Gerhard (North-Holland Publishing, 1986)