[1] Joseph R. Shoenfield: Mathematical Logic. Addison-Wesley Publ. Comp., Reading, Massachusetts-Menlo Park, California-London-Don Mills, Ontario 1967. MR 0225631

[2] R. Jičín Z. Pilous Z. Vašíček: Grundlagen einer formalen Methode zur Zusammenstellung und Bewertung von Bestimmungsschlüsseln. Preslia 41 (1969), p. 71-85.

[3] R. Hall: A Computer-based System for Forming Identification Keys. Taxon 19 (1970), 1.

[4] D. V. Osborne: New Aspects of the Theory of Dichotomous Keys. New Phytologist (1962).