Programming in the 1990s: an introduction to the calculation of programs - Cohen, Edward E. (Texts and monographs in computer science, 1990)