Michael A. Arbib Suad Alagic Proof Rules for Gotos. 139-148 1979 11 Acta Inf. db/journals/acta/acta11.html#ArbibA79