Title: Formal design of a class of computers
First published: 1995
Subjects: Microprogramming, Computer-aided engineering