Logic design with Pascal : computer-aided design techniques / Thomas Downs, Mark F. Schulz. - Downs, Thomas (Van Nostrand Reinhold, 1988)