Publications by authors named "HJ Monkhorst"