Brady, Edwin Charles. “Type-Driven Development of Concurrent Communicating Systems”. Computer Science 18, no. 3 (July 7, 2017). Accessed March 28, 2024. https://journals.agh.edu.pl/csci/article/view/1413.