A Formal Specification of Line Representations on Graphics Devices. - Lynn S. Marshall (TAPSOFT, Vol.2, 1985)

Formal specification of a small example based on GKS. - David A. Duce; Elizabeth V. C. Fielding; Lynn S. Marshall (ACM Trans. Graph., 1988)

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)

Factors Influencing the Success of Object-Oriented Education in Industrial Environments. - Yawar Ali; Antonio J. Bailetti; Lynn S. Marshall (TOOLS (11), 1993)