A Program Refinement Tool. Formal Aspects of Computing 10 (1998)

by David A Carrington, Ian J Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh