R. Nigel Horspool Nenad Marovac An Approach to the Problem of Detranslation of Computer Programs. 223-229 1980 23 Comput. J. 3 db/journals/cj/cj23.html#HorspoolM80