Agile Specification-Driven Development. - Jonathan S. Ostroff; David Makalsky; Richard F. Paige (XP, 2004)

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. - Jonathan S. Ostroff; Richard F. Paige; David Makalsky; Phillip J. Brooke (J. Object Technol., 2005)