Wim H. Hesselink. Command Algebras, Recursion and Program Transformation. Formal Asp. Comput., 2(1):60-104, 1990.
@article{Hesselink90, title = {Command Algebras, Recursion and Program Transformation}, author = {Wim H. Hesselink}, year = {1990}, tags = { algebra, transformation, program transformation}, researchr = {https://researchr.org/publication/Hesselink90}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {2}, number = {1}, pages = {60-104}, }