Author Title Journal ISSN Publisher Date Volume Number Page URL URL(DOI) SUGITO Yoshio On the Diagrammatical Representation for λ-Expressions and its Calculation via Graph Transformation System Technical report of IEICE. SS The Institute of Electronics, Information and Communication Engineers 1999-03-19 98 676 17-24 http://ci.nii.ac.jp/naid/110003277022/en/