Teaching software engineering using a traceability-based development methodology. - Sandeep Mitra; T. M. Rao; Thomas A. Bullinger (J. Comput. Sci. Coll., 2005)

Using formal software development methodologies in a real-world student project: an experience report. - Sandeep Mitra; Thomas A. Bullinger (J. Comput. Sci. Coll., 2007)

Problem stereotypes and solution frameworks: a design-first approach for the introductory computer science sequence. - T. M. Rao; Sandeep Mitra; Roxanne L. Canosa; Sidney Marshall; Thomas A. Bullinger (J. Comput. Sci. Coll., 2007)