Pagan, F. G. review of Schwartz 1980 (Euclid)
(1980)
(1980)
ACM Computing Reviews 21(01) January 1980
Languages mentioned
Euclid
{1977} Verifiable system software language