A system for verification of interactive microprogram transformations. - Reinhard Rauscher; J. Westendorf (Microprocess. Microprogramming, 1988)