Michal Hospodár, Galina Jirásková Implementation and Application of Automata - Springer Springer 2019 ISBN: 9783030236793 Source: EBOOK