1956 MS https://search.library.wisc.edu/catalog/999973951102121 "The simulation of one digital computer by another"
1960 PhD https://search.library.wisc.edu/catalog/999872391302121 "Automatic address modification in a three address digital computer"