This is BibTeX, C Version 0.99c
The top-level auxiliary file: doc.aux
The style file: plain.bst
Database file #1: modula3.bib