Interactive book on concurrent programming with auto-tested exercises.