Automata-based verification of programs with tree updates
scientific article; zbMATH DE number 5666993
scientific article