Mario Barbacci Instruction Set Processor Specifications (ISPS): The Notation and Its Applications. 24-40 1981 30 IEEE Trans. Computers 1 db/journals/tc/tc30.html#Barbacci81