Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen