TY - BOOK TI - Theory of Machine ER -