This is BibTeX (bibtex32), Version 0.99c [4b]
The top-level auxiliary file: asmpv114.aux
The style file: is-alpha.bst
Database file #1: mc68k.bib