Nicolas Barker at Eighty: A List of His Publications to Mark His 80th Birthday in 2012