1. Nicholas James Doye, Order sorted computer algebra and coercions, PhD Thesis, University of Bath, 1997.