By Cann, Ronnie
By Horn, Laurence
By Kolliakou, Dimitra
By Patrick Blackburn, Johan Bos
By Knuth, De
By Knuth, Donald E
By Barker–plummer, David, Barwise, Jon, Etchemendy, John