Thirty Five Years of Automating Mathematics e-bokEngelska, 2013