Authors: Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin
Author = "J\"urgen Dingel and David Garlan and Somesh Jha and David Notkin" ,
Title = "Towards a formal treatment of implicit invocation using rely/guarantee reasoning",
journal = "Formal Aspects of Computing",
Year = 1998,
note = "To appear. Supersedes CMU-CS-97-153."