Hidetaka Kondoh Kokichi Futatsugi To use or not to use the goto statement: Programming styles viewed from Hoare Logic. 82-116 2006 60 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2005.05.003 db/journals/scp/scp60.html#KondohF06