Transformational data refinement and VDM. - Andrews, D. J.; Ince, D. C. (Information & Software Technology, 1995)