Obituary: John Armstrong (1944–2017). - Williams, David M.; Lyth, Peter (Journal of Transport History, 2017)