A Programming Logic (1978)

by R L Constable, M J O'Donnell