Experiences in starting computer engineering programs (panel session). - Daniel D. McCracken; Manuel A. Pérez-Quiñones; Robert Bryant 001; Frederick N. Springsteel; Anne-Louise Radimsky (SIGCSE, 2000)

FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. - Nixon Sunny George; Cui Zhang; Anne-Louise Radimsky (IRI, 2011)