Publications by authors named "R F van Steveninck"