Mueller, C.S.M.
(South African Institute of Computer Scientists and Information Technologists, 1990)
Induction has been used as a major tool in mathematics in proving theorems. This paper explores whether it has an equally important role in formulating programs. There are those who advocate that induction should be used ...