Concurrent Euclid
Subtitle: proof rules and a VCG
By: Philip Arnold Matthews.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1982
Place of publication: Toronto
Language: eng
Notes: Thesis (M.Sc.)--University of Toronto, 1982.