Alan Jeremy Jeffcoat Dick: Order-sorted equational reasoning and rewrite systems. Imperial College London, UK 1988