Marcus Hutter: Universal Algorithmic Intelligence: A Mathematical Top→Down Approach. Artificial General Intelligence 2007: 227-290