Margaret Hamilton, Saydean Zeldin. Higher Order Software - A Methodology for Defining Software. IEEE Trans. Software Eng., 2(1):9-32, 1976.
@article{HamiltonZ76, title = {Higher Order Software - A Methodology for Defining Software}, author = {Margaret Hamilton and Saydean Zeldin}, year = {1976}, researchr = {https://researchr.org/publication/HamiltonZ76}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {2}, number = {1}, pages = {9-32}, }