Solving higher-order equations From logic to programming - Prehofer, Christian (Birkhauser, 1998)
Τομέας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων.