MEDEIROS JUNIOR, Ivan Soares de. Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução. 2012. 158 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2012.

https://repositorio.ufrn.br/jspui/handle/123456789/18050

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3963841