As Ken Shan points out, this is an instance of the algorithm
for converting name/year citations (like 'see Montague 1970')
to numerals corresponding to their position in the
- bibliography ('see [24]'). Except that bibliograpic numerals
+ bibliography ('see [24]'). Except that bibliographic numerals
don't start with zero.
Give some thought to efficiency: there are straightforward