この資料をSMS送信: The Gödel programming language / Patricia Hill, John Lloyd.