While the work itself is interesting, I'm also super curious to know how this was typeset. Did NASA have special typewriters with common math symbols, or go through some office with a Linotype or early digital typesetter, or something else?
[饾浖] https://www.duxburysystems.org/downloads/library/texas/apple...
I found a Math Overflow thread full of stories about this: https://mathoverflow.net/questions/19930/writing-papers-in-p...
And see page 7 of this for pictures: https://etconline.org/backissues/ETC099.pdf
Also, a TYPIT advertisement on the bottom left of the third page of https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6500767
https://www.duxburysystems.org/downloads/library/texas/apple...
https://mathoverflow.net/questions/19930/writing-papers-in-p...
https://www.mrmrsvintagetypewriters.com/products/hermes-3000...
Notably, Dijkstra used a modified Hermes with a mixture of different type bars to get the output he wanted in his earlier EWDs.