M. Hofmann, and T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), volume 36 of Oxford Logic Guides, Oxford Univ. Press, New York, (1998)
S. Berrón, L. Fuente, E. Martín, and J. Vázquez. European Journal of Clinical Microbiology & Infectious Diseases: Official Publication of the European Society of Clinical Microbiology, 17 (2):
85--89(February 1998)PMID: 9629971.