Would be nice to replace this: ``` @article{pierce94, author = {Benjamin C. Pierce and David N. Turner}, title = {Simple type-theoretic foundations for object-oriented programming}, } ``` with this: ``` @article{pierce94, author = {Benjamin C. Pierce and David N. Turner}, title = {Simple Type-Theoretic Foundations for Object-Oriented Programming}, } ``` At least let's complain, if we can't fix.