A simple proof for the completeness of Floyd's method
scientific article; zbMATH DE number 3880071