Brady, Edwin Charles. 2017. “Type-Driven Development of Concurrent Communicating Systems”. Computer Science 18 (3). https://doi.org/10.7494/csci.2017.18.3.1413.