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