Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas. A Formalization of Functions as Operations on Flows. J. Comput. Inf. Sci. Eng., 11(3), 2011. [doi]
@article{BorgoCGV11, title = {A Formalization of Functions as Operations on Flows}, author = {Stefano Borgo and Massimiliano Carrara and Pawel Garbacz and Pieter E. Vermaas}, year = {2011}, doi = {10.1115/1.3615523}, url = {https://doi.org/10.1115/1.3615523}, researchr = {https://researchr.org/publication/BorgoCGV11}, cites = {0}, citedby = {0}, journal = {J. Comput. Inf. Sci. Eng.}, volume = {11}, number = {3}, }