Verifying temporal properties of systems - Bradfield, Julian Charles (Birkhauser, 1992)
Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων