@INPROCEEDINGS{relyguar,
	author = "E. W. Stark",
	title = "A Proof Technique for Rely/Guarantee Properties",
	booktitle = "Fifth Conference on Foundations of Software Technology
			and Theoretical Computer Science",
	city = "New Delhi, India",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Theoretical Computer Science",
	volume = 206,
	month = dec,
	year = 1985,
	pages = "369--391"
}