Publications of Laurens Lamproye