http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers
International Workshop TYPES 1994.06.06-10 : Båstad, Sweden)
International Workshop on Types for Proofs and Programs 1994.06.06-10 : Båstad, Sweden)