Bisimulations for Untyped Imperative Objects.

Vasileios Koutavas, Mitchell Wand

Browse the full ESOP paper archive.