models, and implementations of data abstractions (1982)

by M Specifications Wand
Venue:Theoretical Computer Science