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)

A systematic approach to teaching abstraction and mathematical modeling. - Charles T. Cook; Svetlana Drachova-Strang; Jason O. Hallstrom; Joseph E. Hollingsworth; David Pokrass Jacobs; Joan Krone; Murali Sitaraman (ITiCSE, 2012)

Specification and reasoning in SE projects using a Web IDE. - Charles T. Cook; Svetlana Drachova-Strang; Yu-Shan Sun; Murali Sitaraman; Jeffrey C. Carver; Joseph E. Hollingsworth (CSEE&T, 2013)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. - Svetlana V. Drachova; Jason O. Hallstrom; Joseph E. Hollingsworth; Joan Krone; Richard Pak; Murali Sitaraman (ACM Trans. Comput. Educ., 2015)