Virtual data structures (1992)

by S D Swierstra, O de Moor