Programming in the 1990s: an introduction to the calculation of programs (1990)

by E Cohen