Bibs: add keywords to an entry
Bibs: add entry for incremental distributed MapReduce

This is (again) work where Acar collaborated.
Normalize BibTeX key for Lämmel's MapReduce paper
Format BibTeX entry
Bibs: Add paper on shrinking reductions
Bibs: Fix paper title

Take the title as given in the paper itself, with an em dash, not a
semicolon.
Bibs: Add Plotkin's LCF paper
Bibs: Fix
Shorten bib entries
Bibs: Add new misc entries
Update bibs
TeX hack for citing Agda.

Agda's particularly hard to cite because its developers published
no formal reference manual yet.

How to cite an open source project:

http://ubuntuforums.org/showthread.php?t=1230811&s=951c139e9d1393a831296450af26ff2d&p=7739614#post7739614
Bib: remove unmotivated Agda hacking

Where "unmotivated" means "no motivation was given", not "no motivation
exists". The result seems to render fine here.
Bib: add access date to URL
Bib fix: use ordinal for edition

At least this style file doesn't do it automatically - I've seen other
styles behaving otherwise (but I guess they wouldn't process '2nd'
further and leave it alone, so this should be more compatible).
New Bib entry
Bibs: add a few papers
Bibs: Add paper with summary
New bib entry on Scala-virtualized
New bib item