BibTeX Export

@book{Authenticus:P-00Z-ZD2,
	title = {{Descriptional Complexity of Formal Systems
            
                Lecture Notes in Computer Science  Theoretical Computer Sci}},
	author = {Nelma Moreira},
	publisher = {Springer},
	type = {Book},
	year = {2012}
}