«تجرید» [رایانه و فناوری اطلاعات] همارزِ «abstraction»؛ منبع: گروه واژهگزینی. جواد میرشکاری، ویراستار. دفتر سیزدهم. فرهنگ واژههای مصوب فرهنگستان. تهران: انتشارات فرهنگستان زبان و ادب فارسی (ذیل سرواژهٔ تجرید)
Mitchell, John C. ; Plotkin, Gordon D. ; Abstract Types Have Existential Type, ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, July 1988, pp. 470–502