Poles Algorithms and discrete structures Automata, Structures, and Verification Proofs, programs and systems