Barbacci, M.R. et al "Instruction Set Processor Specifications" Carnegie-Mellon 1979.
(1979)
Languages mentioned
ISPS
{1979} Operational hardware specification language