Authors: Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin
BIBTEX Citation
@Article (DGJN97,
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."
)