Small bisimulations for reasoning about higher-order imperative programs (2006)

by V Koutavas, M Wand
Venue:In POPL’06