On legality assertions in Euclid (1979)

by D B Wortman
Venue:IEEE Transactions on Software Engineering