1 This is BibTeX, Version 0.99d (TeX Live 2013/Debian)
2 Capacity: max_strings=35307, hash_size=35307, hash_prime=30011
3 The top-level auxiliary file: thesis.aux
4 The style file: plain.bst
5 Database file #1: thesis.bib
6 Warning--empty institution in Hopcroft1971
7 Warning--empty journal in Roelofs2008
9 2118 wiz_defined-function locations,
10 521 strings with 4555 characters,
11 and the built_in function-call counts, 1196 in all, are:
49 (There were 2 warnings)