Publications by authors named "Mike Dennis"