Alexandre Buisse, Peter Dybjer: The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective. In: Electronic Notes in Theoretical Computer Science. Band218, 22. Oktober 2008, S.21–32, hier S. 24, doi:10.1016/j.entcs.2008.10.003.
M. Das, M. K. Chakraborty, T. K. Ghoshal: Fuzzy tolerance relation, fuzzy tolerance space and basis. In: Fuzzy Sets and Systems. Band97, Nr.3, 1. August 1998, S.361–369, doi:10.1016/S0165-0114(97)00253-4.
hu-berlin.de
informatik.hu-berlin.de
Johannes Köbler: Einführung in die Theoretische Informatik. Humboldt-Universität zu Berlin, S.38 (WS 2011/12 [PDF; abgerufen am 10. Dezember 2018] Vorlesungsskript).