Open
Description
S. Pan and R. G. Dromey, A Formal Basis for Removing Goto Statements, 1996.
https://pdfs.semanticscholar.org/f1a6/242247c6ae2df38ac7608eab839e059abcd7.pdf
S. Pan and R. G. Dromey, A Formal Basis for Removing Goto Statements, 1996.
https://pdfs.semanticscholar.org/f1a6/242247c6ae2df38ac7608eab839e059abcd7.pdf