Virtual Data Structures (1992)

by D. Swierstra, D. Swierstra, O. De Moor, O. De Moor
Venue:Formal Program Development, Lecture Notes in Computer Science 755