この資料をSMS送信: Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / Charles Rattray, Savitri Maharaj, Carron Shankland (eds.).