Bisimulations for Untyped Imperative Objects (2006)

by V Koutavas, M Wand
Venue:In: ESOP 2006. Ed. by Sestoft, P