Books by James R. Cordy
The Personal Web
Proceedings of the 5th Interna
Proceedings of the 5th International Workshop on Software Clones
The Turing Programming Language
New constructs supported by To
New constructs supported by Toronto Turing compiler
Specification of Concurrent Eu
Specification of Concurrent Euclid (version 1)
Specification of Concurrent Eu
Specification of Concurrent Euclid (preliminary version)
A diagrammatic approach to pro
A diagrammatic approach to programming language semantics