A Tool for Developing Correct Programs by Refinement (1996)

by David Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
Venue:Proc. BCS 7th Refinement Workshop