1. Asirelli P., Gimona F., Martelli A., Montanari U. Passing parameter types in programming languages with data abstractions. AICA '77 Congress, Pisa, October 1977, 429–444.
2. Asirelli P., Martelli A., Montanari U. Language constructs for controlling side effects. Internal Report OL78-6, IEI, Pisa, December 1978, Submitted for publication.
3. Asirelli P., Degano P., Levi G., Martelli A., Montanari U., Pacini G., Sirovich F., Turini F. A flexible environment for program development based on a symbolic interpreter. Proc. Fourth Int. Conference on Software Engineering, Munich, September 1979, 251–263.
4. Barbuti R. Verifica dei tipi statica per un linguaggio con procedure polimorfe. AICA '79 Congress, Bari, October 1979.
5. Cousot P., Cousot R. Static determination of dynamic properties of generalized type unions. Language Design for Reliable Software, SIGPLAN Notices, 12, 3, March 1977, 77–94.