de Moor O. Virtual data structures (1993)

by S D Swierstra
Venue:Formal Program Development, number 755 in Lecture Notes in Computer Science