@inproceedings{ITiCSE-2009-SitaramanHWDHLKP,
	author        = "Murali Sitaraman and Jason O. Hallstrom and Jarred White and Svetlana Drachova-Strang and Heather K. Harton and Dana P. Leonard and Joan Krone and Rich Pak",
	booktitle     = "{Proceedings of the 14th Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/1562877.1562899",
	isbn          = "978-1-60558-381-5",
	pages         = "50--54",
	publisher     = "{ACM}",
	title         = "{Engaging students in specification and reasoning: “hands-on” experimentation and evaluation}",
	year          = 2009,
}