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

Mario R. Barbacci
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

IEEE Trans. Computers 30(1)
Pages 24-40
1981
Note(s): ISPS