Requirements for a program refinement engine (1994)

by D Carrington, I Hayes, R Nickson, G Watson, J Welsh
Venue:Patter Recognition Letters