A program refinement tool (1998)

by D Carrington, I Hayes, R Nickson, G Watson, J Welsh
Venue:Formal Aspects of Computing