Hasegawa. (2013). Typed Lambda Calculi and Applications (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hasegawa. Typed Lambda Calculi and Applications. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Hasegawa. Typed Lambda Calculi and Applications. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.