VDM specification for the tree-modification method of refutation
scientific article; zbMATH DE number 952253