Theorem-proving anonymity of infinite-state systems
scientific article; zbMATH DE number 5664731