On the completeness of the inductive assertion method
scientific article; zbMATH DE number 3550155