Wim H. Hesselink Command Algebras, Recursion and Program Transformation. 60-104 1990 2 Formal Asp. Comput. 1 db/journals/fac/fac2.html#Hesselink90