Text this: The language approach to the development of reliable concurrent programs