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.
芝加哥风格引文Workshop on Specification of Abstract Data Types Gullane, Scotland, D. Sannella, 与 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引文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.