Na podstawie artykułu: "Język sformalizowany" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy