Some Topics in the Design of the Specification Language Lotos. - Vincenza Carchiolo; Alberto Faro; F. Minissale; Giuseppe Scollo (Symposium on Programming, 1984)