"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.

Wassyng, Alan, and Mark Lawford. Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project In  FME 2003: International Symposium of Formal Methods Europe Proceedings. Pisa, Italy, 2003.

Lawford, Mark, Jeff McDougall, Peter Froebel, and Greg Moum. Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software In  Algebraic Methodology and Software Technology., 2000.