Na podstawie artykułu: "Dowód poprawności algorytmu" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy