Software tools used in the development of a VLSI VAX Microcomputer. - Robert Gries; James A. Woodward (MICRO, 1984)