This is BibTeX, Version 0.99c (TeX Live 2009) The top-level auxiliary file: paper.aux The style file: alpha.bst Database file #1: kwarc.bib Warning--I didn't find a database entry for "Kohlhase:ssmtl*" You've used 2 entries, 2543 wiz_defined-function locations, 588 strings with 6180 characters, and the built_in function-call counts, 619 in all, are: = -- 63 > -- 16 < -- 2 + -- 5 - -- 4 * -- 40 := -- 112 add.period$ -- 6 call.type$ -- 2 change.case$ -- 10 chr.to.int$ -- 2 cite$ -- 2 duplicate$ -- 25 empty$ -- 45 format.name$ -- 8 if$ -- 118 int.to.chr$ -- 1 int.to.str$ -- 0 missing$ -- 1 newline$ -- 14 num.names$ -- 6 pop$ -- 5 preamble$ -- 2 purify$ -- 12 quote$ -- 0 skip$ -- 20 stack$ -- 0 substring$ -- 40 swap$ -- 1 text.length$ -- 2 text.prefix$ -- 2 top$ -- 0 type$ -- 16 warning$ -- 0 while$ -- 6 width$ -- 3 write$ -- 28 (There was 1 warning)