Goto statements: semantics and deduction systems : (preprint)