Higley, CJ "Type checking in a typeless language"

(1976) The Computer Journal 19(2) May 1976  

Languages mentioned BCPL {1967} Basic CPL