Program schemata vs. automata for decidability of program logics
scientific article; zbMATH DE number 1178778