Title: Specification of Concurrent Euclid (preliminary version)
First published: 1980
Subjects: Concurrent Euclid (Computer program language), Electronic data processing
LC classification: QA76.99 .C68 1980