Văn bản này: The logical design of parallel operating systems