Formal Definition of Semantics of Generated Control Regimes. - Luigia Carlucci Aiello; Mario Aiello; Giuseppe Attardi; P. Cavallari; Gianfranco Prini (MFCS, 1976)