J. M. Foster: Formally based static analysis of microcode. MICRO 1986: 162-170