Workshop on Specification of Abstract Data Types,, 5, Recent trends in data type specification / 5th Workshop... ; ed. D. Sannella, A. Tarlecki

Recent trends in data type specification / 5th Workshop... ; ed. D. Sannella, A. Tarlecki . - Berlin : Springer-Verlag, cop. 1988 . - 259 p. 25 cm . - (Lecture notes in computer science; 332)
3-540-50325-0 (Brochado)

519.6