The sad news that Derek died on 20 July 2020 came from Mike Trigg, who worked with him for many years in the Publications Centre, London. Derek joined HMSO Post and Trade, Cornwall House, in 1966 and also worked in Holborn Bookshop. Post-retirement he was a...