The SECD Microprocessor: A verification case study, Volume 178 of Kluwer international series in engineering and computer science (1992)

by B T Graham