1. Pierre America and Frank de Boer. A proof system for a parallel language with dynamic process creation. ESPRIT Project 415 Document 445, Philips Research Laboratories, Eindhoven, the Netherlands, October 1988. Chapter 2 (pages 121–200) of [Boe91]. A slightly shortened version was published as [AB90].
2. Pierre America and Frank de Boer. A sound and complete proof system for a sequential version of POOL. ESPRIT Project 415 Document 499, Philips Research Laboratories, Eindhoven, the Netherlands, 1989. Chapter 2 (pages 15–119) of [Boe91].
3. Pierre America and Frank de Boer. A proof system for process creation. In IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, April 2–5, 1990, pages 303–332.
4. Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Operational semantics of a parallel object-oriented language. In Conference Record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 13–15, 1986, pages 194–208.
5. Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83(2):152–205, November 1989.