M. Hofmann, и T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), том 36 из Oxford Logic Guides, Oxford Univ. Press, New York, (1998)
S. Berrón, L. Fuente, E. Martín, и J. Vázquez. European Journal of Clinical Microbiology & Infectious Diseases: Official Publication of the European Society of Clinical Microbiology, 17 (2):
85--89(февраля 1998)PMID: 9629971.