Holt, Richard C. and Wortman, David B. "A model for implementing Euclid modules and type templates", p8-12

[SIGPLAN] (1979) Proceedings of the SIGPLAN symposium on Compiler construction, August 06-10, 1979, Denver, Colorado, United States  

Languages mentioned Euclid {1977} Verifiable system software language