Publications by authors named "Ronald E J Mitchel"