See Problem 3.9
exr:savitch-program
