book:foundations_of_machine