book - Theory of Self-Reproducing Automata / page 72 -