Correctness of explicitly specified procedures - Back, Ralph-Johan R. (Mathematisch Centrum <Amsterdam>, 1980)