Reverse Execution in a Generalized Control Regime. - Fernando Lafora; Mary Lou Soffa (Comput. Lang., 1984)