Program Refinement by Transsformation.

Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley

Browse the full ICSE paper archive.