A Formal Description of Object-Oriented Programming Using VDM. - Cydney Minkowitz; Peter B. Henderson (VDM Europe, 1987)

Formal Specification for Design Diversity: Two Case Histories, One Approach. - Cydney Minkowitz (ADBIS (Local Proceedings), 2010)