http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Functional programming, concurrency, simulation and automated reasoning
international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Functional programming (Computer science)