Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers - Workshop on Specification of Abstract Data Types 1995 : Oslo, Norway); Haveraaen, Magne; Owe, Olaf; Dahl, Ole-Johan, 1931-; COMPASS Workshop 1995 : Oslo, Norway) (Berlin : Springer, 1996)
Keywords: Abstract data types (Computer science) -- Congresses