APA (7th ed.) Citation

TYPES '98 Benediktinerabtei Irsee, Germany, SpringerLink (Online service), Altenkirch, T., Naraschewski, W., & Reus, B. (1999). Types for proofs and programs: International workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers. Springer.

Chicago Style (17th ed.) Citation

TYPES '98 Benediktinerabtei Irsee, Germany, SpringerLink (Online service), Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : Selected Papers. New York: Springer, 1999.

MLA (9th ed.) Citation

TYPES '98 Benediktinerabtei Irsee, Germany, et al. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : Selected Papers. Springer, 1999.