Publications by authors named "Jan J Barendregt"