Semantics and Logic of Computation - Dybjer, Peter; Pitts, A. M. (Andrew M.)
includes bibliographical references Εργαστηριο Συνδυαστικων Αλγοριθμων