Conference paper

Program schemata as automata