Ricardo Lima and Rafael Lins. 2000.
 Translating HCL Programs into Petri Nets. In <em>Anais do XIV Simpósio Brasileiro de Engenharia de Software</em>, outubro 04, 2000, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 147-162. DOI: <a href="https://doi.org/10.5753/sbes.2000.25926">https://doi.org/10.5753/sbes.2000.25926</a>.