Higher order software-A methodology for defining software (1976)

by M Hamilton, S Zeldin
Venue:IEEE Trans. Software Eng