Higher Order Software - A Methodology for Defining Software

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},
}