This is BibTeX, Version 0.99d (TeX Live 2019)
Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
The top-level auxiliary file: manual.aux
The style file: acm.bst
Database file #1: references.bib
Warning--empty publisher in TielmanThesis2018
You've used 3 entries,
            2253 wiz_defined-function locations,
            546 strings with 4538 characters,
and the built_in function-call counts, 875 in all, are:
= -- 68
> -- 56
< -- 0
+ -- 26
- -- 20
* -- 58
:= -- 152
add.period$ -- 7
call.type$ -- 3
change.case$ -- 18
chr.to.int$ -- 0
cite$ -- 4
duplicate$ -- 29
empty$ -- 70
format.name$ -- 20
if$ -- 172
int.to.chr$ -- 0
int.to.str$ -- 3
missing$ -- 2
newline$ -- 16
num.names$ -- 6
pop$ -- 34
preamble$ -- 1
purify$ -- 16
quote$ -- 0
skip$ -- 22
stack$ -- 0
substring$ -- 18
swap$ -- 6
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 10
warning$ -- 1
while$ -- 6
width$ -- 4
write$ -- 27
(There was 1 warning)