Bisimulations for untyped imperative objects. ESOP (2006)

by V Koutavas, M Wand