R. Lima and R. Lins.
" Translating HCL Programs into Petri Nets", in <em>Anais do XIV Simpósio Brasileiro de Engenharia de Software</em>, João Pessoa/PB, 2000, pp. 147-162, doi: <a href="https://doi.org/10.5753/sbes.2000.25926">https://doi.org/10.5753/sbes.2000.25926</a>.