Aaron M. Tenenbaum: Compile time type determination in SETL. ACM Annual Conference (1) 1974: 95-100