Lessons from Using Z to Specify a Software Tool. - Martin Neil; Gary Ostrolenk; Mary Tobin; Mark Southworth (IEEE Trans. Software Eng., 1998)

Enterprise Data Architecture: Development Scenarios Using ORM. - Necito dela Cruz; Mary Tobin; Gabe Schenz; Dick Barden (OTM Workshops, 2011)