http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods in human-computer interaction
xvii, 376 pages : illustrations ; 24 cm.
Philippe Palanque and Fabio Paternò, eds.
Includes bibliographical references (pages [347]-361) and indexes.
Formal approaches to computing and information technology
3540761586 (Berlin : pbk. : acid-free paper)