Designing Families of Data Types Using Exemplars (1989)

by W R LaLonde
Venue:In ACM Transactions on Programming Languages and Systems