Chapter 5, Computing with Register Machines

Exercise 5.52


:)