Publications by authors named "H O Riddervold"