Gavin R. Finnie Unscrambling Non-sequential Programs. 39-50 1988 18 Softw., Pract. Exper. 1 db/journals/spe/spe18.html#Finnie88