Ward Douglas Maurer Removing backward go-to statements from Ada programs: possibilities and problems. 105-108 2008 SIGAda http://doi.acm.org/10.1145/1454474.1454492 conf/sigada/2008 db/conf/sigada/sigada2008.html#Maurer08