Lima, R., & 		Lins, R.
(2000).
 Translating HCL Programs into Petri Nets.
In <em>Anais do XIV Simpósio Brasileiro de Engenharia de Software</em>, (pp. 147-162). Porto Alegre: SBC.
doi:10.5753/sbes.2000.25926