Publications by authors named "H A VAN DISHOECK"