Kutrib, M., Gießen, 1998. On stack-augmented polyautomata. Universitätsbibliothek Gießen.. https://doi.org/10.22029/jlupub-1981