Richard C. Holt David B. Wortman A model for implementing Euclid modules and type templates. 8-12 1979 conf/sigplan/1979 SIGPLAN Symposium on Compiler Construction http://doi.acm.org/10.1145/800229.806949 db/conf/sigplan/sigplan1979.html#HoltW79