This is BibTeX, Version 0.98i for Berkeley UNIX
The top-level auxiliary file: ss.aux
The style file: alpha.bst
Database file #1: /fiona/csfaculty/lieber/papers/new-obj/bibliography/biblio.bib
 : Warning: there's a number but no volume in kreowski:alg-spec-87