Publications by 'Thierry van der Spek'