http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Nondeterminism in algebraic specification and algebraic programs
Includes bibliographical references (pages [205]-214).
Progress in theoretical computer science