Abstract models of storage (2000)

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