The correctness of numerical algorithms. - Thomas E. Hull; Wayne H. Enright; Arthur E. Sedgwick (Proving Assertions About Programs, 1972)

Structuring control in Fortran. - Arthur E. Sedgwick (ACM SIGPLAN Notices, 1977)