Title: Logic design theory
First published: 1993