Tietueen sitaatit
APA-viiteSpringerLink (Online service), Geuvers, H., & Wiedijk, F. (2003). Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers. Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-39185-1
Chicago-tyylinen lähdeviittausSpringerLink (Online service), Herman Geuvers, ja Freek Wiedijk. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24–28, 2002. Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/3-540-39185-1.
MLA-viiteSpringerLink (Online service), et al. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24–28, 2002. Selected Papers. Springer Berlin Heidelberg, 2003. https://doi.org/10.1007/3-540-39185-1.
Harvard-tyylinen lähdeviittausSpringerLink (Online service), Geuvers, H. & Wiedijk, F. 2003. Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg.