Publications by authors named "Walther J van Venrooij"