Klikněte na odkaz CowBasicFormalization.pdf pro zobrazení souboru.