Publications by authors named "John de Groot"