Holt, Richard C.; Wortman, David B. "A Model for Implementing EUCLID Modules and Prototypes" pp552-562

(1982) TOPLAS 4(4) October 1982  

Languages mentioned Euclid {1977} Verifiable system software language