ISPS

Instruction Set Processor Specifications

Barbacci, Carnegie Mellon University, 1979

An operational hardware specification language, the successor to ISPL.

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

Bell, Newell, Siewiorek, Barbacci, 1982?