Ben-Ari, M. Principles of Concurrent Programming, Prentice-Hall, 1982.

Languages mentioned

• Concurrent Pascal-S {1988} Concurrent Pascal dialect
• Pascal-S {1975}