Flemming Nielson, Hanne Riis Nielson. Flow Logic for Imperative Objects. In Lubos Brim, Jozef Gruska, Jirí Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 220-228, Springer, 1998. [doi]
Abstract is missing.