 | 1990 |
| 5 |  | K. A. Redish,
W. F. Smyth:
Closed form expressions for the iterated floor function.
Discrete Mathematics 91(3): 317-321 (1990) |
| 1987 |
| 4 |  | K. A. Redish,
W. F. Smyth:
Evaluating Measures of Program Quality.
Comput. J. 30(3): 228-232 (1987) |
| 1986 |
| 3 |  | K. A. Redish,
W. F. Smyth:
Program Style Analysis: A Natural By-Product of Program Compilation.
Commun. ACM 29(2): 126-133 (1986) |
| 1971 |
| 2 |  | K. A. Redish:
Comment on London's Certification of Algorithm 245.
Commun. ACM 14(1): 50-51 (1971) |
| 1970 |
| 1 |  | K. A. Redish:
Remark on algorithm 385: exponential integral.
Commun. ACM 13(12): 750 (1970) |