Patterson, D.A. "STRUM: A Structured Microprogram Development System for Correct Firmware", IEEE Trans Comput C25(10) 1976 pp974-985

Languages mentioned

• STRUM {1976}