Philipp W. KutterBooksAbstract State Machines - Theory and ApplicationsMontagesAuthor data: Open Library