Uma ferramenta para o desenvolvimento de protótipos de programas concorrentes - Kinoshita, Jorge; José Neto, João (Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, 1993)