Describir: Mastering Concurrent Computing through Sequential Thinking.