Speci of Abstract Data Types (1996)

by J Loeckx, Ehrich HD, M Wolf