| References = Reference { , Reference } . | ||
| Reference = Local-Reference | Library-Reference . | ||
| Local-Reference = Label-Identifier . | ||
| Library-Reference = | ||
| Article-Name : ( Theorem-Number | def Definition-Number ) | ||
| { , ( Theorem-Number | def Definition-Number ) } . | ||
| Theorem-Number = Numeral . | ||
| Definition-Number = Numeral . | ||
Last modified: June 26, 2000