Lima, Ricardo, and Rafael Dueire Lins.
" Translating HCL Programs into Petri Nets." <em>Anais do XIV Simpósio Brasileiro de Engenharia de Software,
João Pessoa/PB, 2000</em>. SBC, 2000,  
pp.147-162.