Extensions and Implementations of Abstract Data Type Specifications (1978)

by H-D Ehrich
Venue:of Lecture Notes in Computer Science