Abstract State Machines häftadEngelska, 2013