Peter Suber, Formal Systems and Machines: An Isomorphism, 1997.
Питер Сабер, Формални системи и машини: Изоморфизам, 1997.