@inproceedings{ITiCSE-2004-Ginat,
	author        = "David Ginat",
	booktitle     = "{Proceedings of the Ninth Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/1007996.1008015",
	isbn          = "1-58113-836-9",
	pages         = "62--66",
	publisher     = "{ACM}",
	title         = "{Embedding instructive assertions in program design}",
	year          = 2004,
}