"Removing backward go-to statements from Ada programs: possibilities and ..."

Ward Douglas Maurer (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics