D.R.: Abstract models of storage (2000)

by R D Tennent, Ghica
Venue:Higher-Order and Symbolic Computation