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.