Instruction Set Processor Specifications. Operational hardware specification language. Successor to ISPL.

["Instruction Set Processor Specifications", M.R. Barbacci et al, IEEE Trans Computers, C-30(1):24-80 (Jan 1981)].