@inproceedings{ITiCSE-2003-Gegg-HarrisonBGOW,
	author        = "Timothy S. Gegg-Harrison and Gary R. Bunce and Rebecca D. Ganetzky and Christina M. Olson and Joshua D. Wilson",
	booktitle     = "{Proceedings of the Eighth Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/961511.961548",
	isbn          = "1-58113-672-2",
	pages         = "129--133",
	publisher     = "{ACM}",
	title         = "{Studying program correctness by constructing contracts}",
	year          = 2003,
}