1. W. Ackermann, “Zum Hilbertschen Aufbau der reellen Zahlen,” Math. Ann. 99 (1928), 118–133.
2. J. Arsac, “Transformation of Recursive Procedures,” in Tools and Notations for Program Construction, D. Neel, ed., Cambridge University Press, Cambridge, 1982, 211–265.
3. J. Arsac, “Syntactic Source to Source Program Transformations and Program Manipulation,” Comm. ACM
22 (Jan., 1982 ), 43–54.
4. R. J. R. Back, Correctness Preserving Program Refinements, Mathematical Centre Tracts#131, Mathematisch Centrum, 1980.
5. F. L. Bauer, B. Moller, H. Partsch und P. Pepper, “Formal Construction by Transformation—Computer Aided Intuition Guided Programming,” IEEE Trans. Software Eng. 15 (Feb., 1989 ).