Parreira, N.  2011.  Implementação de um algoritmo de tipificação para linguagem concorrente com tipos comportamentais. : DI-FCT-UNL