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

by M R Barbacci
Venue:Taiwan University