A Formal System of Programs (プログラムの基礎理論)