Abstract Model Specifications for Data Abstractions (1979)

by V A Berzins