BibTeX Export

@book{Authenticus:P-010-Y5Q,
	title = {{Descriptional Complexity of Formal Systems}},
	author = { Jürgensen and Rogério Reis},
	publisher = {Springer},
	type = {Book},
	year = {2013}
}