Michel Charpentier Functional and Concurrent Programming: Core Concepts and Features - Addison-Wesley Professional ISBN: 9780137466542