Λογικός σχεδιασμός λειτουργικών συστημάτων - Bic Lubomir; Shaw Alan C. (Κλειδάριθμος, 1996)