Robert A. Mueller: Formalization and automated synthesis of microprograms. MICRO 1980: 45-53