Publications by authors named "G J Bulthuis"