Digital system design automation : languages, simulation & data base - Breuer, Melvin A. (Computer Science, 1975)