Links to my 3 papers on my web site
Merge pull request #21 from achlipala/master

Links to my 3 papers on my web site