Tool Support for the Refinement Calculus (1994)

by Ray Nickson