Formal proof of a program: find
scientific article; zbMATH DE number 5115481
scientific article