CONSTRUCTIVE METHODS IN COMPUTING SCIENCE - Misra, Jayadev (Springer, 1989)