A System for Program Refinement.

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

Browse the full ICSE paper archive.