Remark on algorithm 347 [M1]: an efficient algorithm for sorting with minimal storage. - Robin Griffin; K. A. Redish (Commun. ACM, 1970)

Remark on algorithm 385: exponential integral. - K. A. Redish (Commun. ACM, 1970)

Comment on London's Certification of Algorithm 245. - K. A. Redish (Commun. ACM, 1971)

Correspondence from the members. - Axel T. Schreiner; K. A. Redish; Richard Alan Karp; Rex L. Page; Richard J. Cichelli (ACM SIGPLAN Notices, 1974)

Software team projects. - D. J. Kenworthy; K. A. Redish (SIGCSE, 1979)

Program Style Analysis: A Natural By-Product of Program Compilation. - K. A. Redish; W. F. Smyth (Commun. ACM, 1986)

Evaluating Measures of Program Quality. - K. A. Redish; W. F. Smyth (Comput. J., 1987)

Closed form expressions for the iterated floor function. - K. A. Redish; W. F. Smyth (Discret. Math., 1990)