James R. Cordy has written:
'Specification of Concurrent Euclid (version 1)' -- subject(s):
Concurrent Euclid (Computer program language), Electronic data
processing
'A diagrammatic approach to programming language semantics' --
subject(s): Semantics, Programming languages (Electronic
computers)