Stefan Sokolowski. Programs as term transformers. Fundamenta Informaticae, 3(4):419-432, 1980.
@article{Sokolowski80, title = {Programs as term transformers}, author = {Stefan Sokolowski}, year = {1980}, researchr = {https://researchr.org/publication/Sokolowski80}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {3}, number = {4}, pages = {419-432}, }