Proceedings of the 7th international conference on Implementation and application of automata
ACM Digital Library