@book{1698544,
	title = {Theory of Formal Systems},
	publisher = {Princeton University Press},
	url = {https://www.degruyter.com/isbn/9781400882007}
}