Publications by authors named "Christopher H Tipper"