Wortman, David B.; Cordy, James R. "Early experiences with Euclid" pp27-32

[Proceedings] (1981) Proceedings of the 5th International Conference on Software Engineering 1981, March 09-12, 1981, San Diego, California, United States   James Cordy

Languages mentioned Euclid {1977} Verifiable system software language