http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings
International Conference on Integrated Formal Methods 2005 : Eindhoven, Netherlands)
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 10, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.