The Design of Data Type Specifications (1978)

by J Guttag, E Horowitz, D Musser
Venue:In R. Yeh (Ed.), Current Trends in Programming Methodology (Vol. 4 - Data Structuring