Formal Construction by Transformation—Computer Aided Intuition Guided Programming (1989)

by F L Bauer, B Moller, H Partsch, P Pepper
Venue:IEEE Trans. Software Eng.15#2