Marleen Sint: MIDL - a microinstruction description language. MICRO 1981: 95-106