A Unified Minimal Realization Theory With Duality. - Edwin Stewart Bainbridge (1972)

Adressed machines and duality. - Edwin Stewart Bainbridge (Category Theory Applied to Computation and Control, 1974)

Minimal While Programs. - Edwin Stewart Bainbridge (MFCS, 1976)

Feedback and Generalized Logic - Edwin Stewart Bainbridge (Inf. Control., 1976)

Functorial Polymorphism. - Edwin Stewart Bainbridge; Peter J. Freyd; Andre Scedrov; Philip J. Scott (Theor. Comput. Sci., 1990)