Workshop on Specification of Abstract Data Types Gullane, Scotland, Sannella, D., & Tarlecki, A. (1988). Recent trends in data type specification: 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987. Springer-Verlag.
Chicago-viite (17. p.)Workshop on Specification of Abstract Data Types Gullane, Scotland, D. Sannella, ja Andrzej Tarlecki. Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types : Selected Papers, Gullane, Scotland, September 1-4, 1987. Berlin ; New York: Springer-Verlag, 1988.
MLA-viite (8. p.)Workshop on Specification of Abstract Data Types Gullane, Scotland, et al. Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types : Selected Papers, Gullane, Scotland, September 1-4, 1987. Springer-Verlag, 1988.