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

by Vasileios Koutavas, Mitchell Wand
Venue:In POPL