Roland Carl Backhouse. Mathematics of Program Construction. Science of Computer Programming, 26(1-3):5-9, 1996.
@article{Backhouse96, title = {Mathematics of Program Construction}, author = {Roland Carl Backhouse}, year = {1996}, researchr = {https://researchr.org/publication/Backhouse96}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {26}, number = {1-3}, pages = {5-9}, }