Formal program construction by transformations – Computer-aided, intuition (0)

by F Bauer, B Moller, H Partsch, P Pepper