This is BibTeX, Version 0.99c (TeX Live 2009/Debian)
The top-level auxiliary file: AlloyUML.aux
The style file: spphys.bst
Database file #1: ref.bib
You've used 20 entries,
            2812 wiz_defined-function locations,
            720 strings with 7933 characters,
and the built_in function-call counts, 9388 in all, are:
= -- 899
> -- 158
< -- 12
+ -- 99
- -- 46
* -- 395
:= -- 798
add.period$ -- 7
call.type$ -- 20
change.case$ -- 9
chr.to.int$ -- 0
cite$ -- 20
duplicate$ -- 1120
empty$ -- 856
format.name$ -- 59
if$ -- 2132
int.to.chr$ -- 0
int.to.str$ -- 20
missing$ -- 178
newline$ -- 75
num.names$ -- 19
pop$ -- 508
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 532
stack$ -- 0
substring$ -- 341
swap$ -- 839
text.length$ -- 12
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 43
width$ -- 22
write$ -- 168