Chapter 5, Computing with Register Machines

Exercise 5.51


:)