Describir: Logic circuit simulation and automatic fabrication / by W.W. Davis.