Logic and computation Interactive Proof with Cambridge LCF - Paulson, Lawrence C. (Cambridge University Press, 1987)
Τομεας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων.Εργαστηριο συνδυαστικων αλγοριθμων