Expansion of LOTOS behaviour expressions as an exercise in transformational design. - Carlos Delgado Kloos; Gregorio González Martínez (Microprocessing and Microprogramming, 1990)