Formal program construction by transformations-computer-aided, intuition-guided programming | IEEE Journals & Magazine | IEEE Xplore