http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
structure of decidable locally finite varieties
Includes bibliographical references (pages 199-201).
Progress in mathematics (Boston, Mass.) ; v. 79