Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. - Murali Sitaraman; Jason O. Hallstrom; Jarred White; Svetlana Drachova-Strang; Heather K. Harton; Dana P. Leonard; Joan Krone; Richard Pak (ITiCSE, 2009)

Injecting rapid feedback and collaborative reasoning in teaching specifications. - Dana P. Leonard; Jason O. Hallstrom; Murali Sitaraman (SIGCSE, 2009)