Λογικός σχεδιασμός λειτουργικών συστημάτων - Bic, Lubomir (Κλειδάριθμος, 1996)
Τίτλος πρωτοτύπου : The logical design of operating systems, 2nd edition 1988.