Publications by authors named "Colin A Michie"