Wow, thanks for all the links. I hadn't realized you really meant book - I thought by their book on Higher Order Software you meant Hamilton's and Zeldin's pap

Wow, thanks for all the links. I hadn't realized you really meant book - I thought by their book on Higher Order Software you meant Hamilton's and Zeldin's paper Higher Order Software—A Methodology for Defining Software [1], which I managed to get through the local university library. [1] https://ieeexplore.ieee.org/document/1702333 https://ieeexplore.ieee.org/document/1702333