Relational reasoning in a nominal semantics for storage (2005)

by N Benton, B Leperchey
Venue:In TLCA, LNCS 3461, pp 86–101