Publications by authors named "D J Higman"