@article{CIAA-J-2013-Konstantinidis15,
	author        = "Stavros Konstantinidis",
	doi           = "10.1016/j.tcs.2015.03.032",
	journal       = "{Theor. Comput. Sci}",
	pages         = "1",
	publisher     = "{Elsevier}",
	title         = "{Implementation and Application of Automata (CIAA 2013)}",
	volume        = 578,
	year          = 2015,
}