I/O computable data structures (1981)

by J A Bergstra, J J Meyer
Venue:SIGPLAN Notices