undefined, undefined, undefined, undefined, "Reviews", IEEE Annals of the History of Computing vol. 38 no. 2, p. 80-84, , 2016