Logic programming and compiler writing. Software--Practice and Experience (1980)

by D H D Warren