Margaret H. Hamilton, Saydean Zeldin: Higher Order Software - A Methodology for Defining Software. IEEE Trans. Software Eng. 2(1): 9-32 (1976)