この資料をSMS送信: A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid.