Victor R. Basili, Robert E. Noonan. A Comparison of the Axiomatic and Functional Models of Structured Programming. IEEE Trans. Software Eng., 6(5):454-465, 1980.
@article{BasiliN80, title = {A Comparison of the Axiomatic and Functional Models of Structured Programming}, author = {Victor R. Basili and Robert E. Noonan}, year = {1980}, tags = {functional programming, e-science, programming}, researchr = {https://researchr.org/publication/BasiliN80}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {6}, number = {5}, pages = {454-465}, }