Logic and the Development of Programming Languages (2008)

by P M Priestley