この資料をSMS送信: Logic and information flow / edited by Jan van Eijck and Albert Visser.