A Formal Basis For Removing Goto Statements. - Pan, S.; Dromey, R. G. (Computer Journal, 1996)