John C. Reynolds: Towards a theory of type structure. Symposium on Programming 1974: 408-423