iFormal Construction by Transformation Computer Aided Intuition Guided Programming,j (1989)

by F L Bauer, B Moller, H Partsch
Venue:IEEE Trans. Software Eng