There's a chance it has been written in the "Stanford Artificial Intelligence text editor E (written by Dan Swinehart)", and later converted to TeX: http://www-

There's a chance it has been written in the "Stanford Artificial Intelligence text editor E (written by Dan Swinehart)", and later converted to TeX: http://www-formal.stanford.edu/jmc/oldnotes.html http://www-formal.stanford.edu/jmc/oldnotes.html https://en.wikipedia.org/wiki/E_(text_editor) https://en.wikipedia.org/wiki/E_(text_editor)