Kevin Lano, Howard P. Haughton. Improving the Process of System Specification and Refinement in B. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 45-68, Springer, 1994. [doi]
Abstract is missing.