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)