Software Specification Techniques, Narain Gehani et Andrew D. McGettrick

Tutorial Introduction to Occam Programming, D. Pountain et David May

Programming in Ada 2005 with CD, John Barnes

Concurrent Programming in Occam 2, John Wexler

Programming and Deploying Java™ Mobile Agents with Aglets™, Danny Lange et Mitsu

Logic Programming (Apic Studies in Data Processing), K. Clark et S. A Tarnlund

Concurrent Programme Structures, David Bustard et etc.