Foutse Khomh's Home page
http://khomh.net/Publications/index.html