This is BibTeX, TOPS-20 Version 0.99c
The top-level auxiliary file: astdoc.aux
The style file: astron.bst
Database file #1: mnemonic.bib
Database file #2: astdoc.bib