E. C. Brady, “Type-driven Development of Concurrent Communicating Systems”, csci, vol. 18, no. 3, Jul. 2017.