Brady, E. C. (2017) “Type-driven Development of Concurrent Communicating Systems”, Computer Science, 18(3). doi: 10.7494/csci.2017.18.3.1413.