Čislovyje sistemy. - Feferman, Solomon (1971)