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.