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