Fokkinga, M. (1981). On the Notion of Strong Typing. In Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages, Amsterdam, The Netherlands, 26-29 October 1981 (pp. 305–320).