Specification of Abstract Data Types. Wiley and Teubner (1996)

by J Loeckx, H-D Ehrich, M Wolf