http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Altrincham, Uk, April 8-10, 1987 : proceedings
Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
B.Banieqbal, H. Barringer, A. Pnueli, (eds.).