Astesiano, E., Reggio, G. und Tarlecki, A. (1995) „Recent Trends in Data Type Specification : 10 th Workshop on Specification of Abstract Data Types Joint with the 5 th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 906). doi:10.1007/BFb0014419.

Astesiano, Egidio, Gianna Reggio, und Andrzej Tarlecki. „Recent Trends in Data Type Specification : 10 th Workshop on Specification of Abstract Data Types Joint with the 5 th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 906. Berlin, Heidelberg: Springer-Verlag, [1995?], Berlin, Heidelberg: Springer-Verlag, [1995?]. https://doi.org/10.1007/BFb0014419.

Astesiano, E., Reggio, G., & Tarlecki, A. (ca. 1995). Recent Trends in Data Type Specification : 10 th Workshop on Specification of Abstract Data Types Joint with the 5 th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0014419

Astesiano, E., G. Reggio, und A. Tarlecki. „Recent Trends in Data Type Specification : 10 th Workshop on Specification of Abstract Data Types Joint with the 5 th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1995, https://doi.org/10.1007/BFb0014419.

ASTESIANO, Egidio, Gianna REGGIO und Andrzej TARLECKI, 1995. Recent Trends in Data Type Specification : 10 th Workshop on Specification of Abstract Data Types Joint with the 5 th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers. [cd]. 1995. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 906. ISBN 9783540491989