BRADY, E. C. Type-driven Development of Concurrent Communicating Systems. Computer Science, [S. l.], v. 18, n. 3, 2017. DOI: 10.7494/csci.2017.18.3.1413. Disponível em: https://journals.agh.edu.pl/csci/article/view/1413. Acesso em: 28 mar. 2024.