Instruction set processor specifications (ISPS): The notation and its application (1981)

by M Barbacci
Venue:IEEE Transactions on Computers