Lima, Ricardo, E Lins, Rafael. " Translating HCL Programs into Petri Nets" Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES) [Online], (4 outubro 2000)