http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Computational and experimental group theory
AMS-ASL joint special session, interactions between logic, group theory and computer science, January 15-16, 2003, Baltimore, Maryland
Alexandre V. Borovik and Alexei G. Myasnikov Editors.
Contemporary mathematics (American Mathematical Society) ; 349