Peter M. Neely On the Use of Integer Arithmetic to Achieve Confirmably Correct Computation. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1977, v:7, n:2, pp:159-163 [Journal]
Jeffrey S. Rohl Converting a Class of Recursive Procedures into Non-recursive Ones. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1977, v:7, n:2, pp:231-238 [Journal]
Robert F. Rosin A Graphical Notation for Describing System Implementation. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1977, v:7, n:2, pp:239-250 [Journal]
Donald R. Innes Exploiting the Least Recently Used Page Replacement Algorithm. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1977, v:7, n:2, pp:271-273 [Journal]