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