James H. Morris: Towards more flexible type systems. Symposium on Programming 1974: 377-384