Lima, Ricardo, and Rafael Dueire Lins.
" Translating HCL Programs into Petri Nets." <em>Proceedings of the 14th Brazilian Symposium on Software Engineering,
João Pessoa/PB, 2000</em>. SBC, 2000,  
pp.147-162.