BibTeX Export

@misc{Authenticus:P-00M-NW9,
	title = {{Formalization of context-free language theory}},
	author = {MarcusV.M. Ramos and RuyJ.G.B.de Queiroz and Nelma Moreira and JoseCarlosBacelar Almeida},
	journal = {CoRR},
	type = {Unpublished},
	volume = {abs/1510.09092},
	year = {2015}
}