Roger Bishop Jones. Methods and Tools for the Verification of Critical Properties. In Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, pages 88-118, Springer London, 1992. [doi]
Abstract is missing.