This is BibTeX, Version 0.99c (Web2C 7.5.6)
The top-level auxiliary file: tcs2010-main.aux
The style file: splncs.bst
Database file #1: tcs2010.bib
You've used 31 entries,
            2087 wiz_defined-function locations,
            718 strings with 8929 characters,
and the built_in function-call counts, 10534 in all, are:
= -- 1111
> -- 337
< -- 35
+ -- 122
- -- 91
* -- 721
:= -- 1361
add.period$ -- 52
call.type$ -- 31
change.case$ -- 31
chr.to.int$ -- 0
cite$ -- 31
duplicate$ -- 561
empty$ -- 1034
format.name$ -- 91
if$ -- 2657
int.to.chr$ -- 0
int.to.str$ -- 31
missing$ -- 29
newline$ -- 159
num.names$ -- 43
pop$ -- 106
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 395
stack$ -- 0
substring$ -- 653
swap$ -- 311
text.length$ -- 35
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 98
width$ -- 33
write$ -- 374