Brady, E. C. “Type-Driven Development of Concurrent Communicating Systems”. Computer Science, vol. 18, no. 3, July 2017, doi:10.7494/csci.2017.18.3.1413.