Add a new paper.
Size types, by Andreas.
Merge pull request #2 from Drup/master

A few more papers.