Transformational data refinement and VDM. - D. J. Andrews; Darrel C. Ince (Inf. Softw. Technol., 1995)

A case study of a difficult refinement: a fast dictionary for a spell-checking program. - D. J. Andrews; Darrel C. Ince (Inf. Softw. Technol., 1995)