publication venue for Verification of microprogrammed computer architectures in the S*-system: a case study. 16:61-73. 1985
