A unified approach of program verification
scientific article; zbMATH DE number 6759007