Digital system design automation : languages, simulation & data base - Breuer, Melvin A.; MacDougall, Myron H. (Digital system design series, 1977)