Using VDM within an Object-Oriented Framework. - Lynn S. Marshall; Linda Simon (VDM Europe (1), 1991)

Using VDM to Specify OSI Managed Objects. - Linda Simon; Lynn S. Marshall (FORTE, 1991)

Using VDM to specify managed object relationships. - Lynn S. Marshall; Linda Simon (FORTE, 1992)

Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. - Slobodan S. Jovanovic; Linda Simon; Drasko M. Sotirovski (Ada-Europe, 1994)