Publications by authors named "F J Bavelaar"