Formal design of a class of computers.

Li-Guo Wang Michael Mendler Formal design of a class of computers. 84-102 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#WangM95