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