Theory of Structure in AI 4 - pocket, Engelsk, 2018