Program Development by Transforamtion and Refinement. - Stefan Jähnichen; Fatima Ali Hussain; Matthias Weber 001 (Advanced Programming Environments, 1986)