“The inability to isolate software components from each other is the main reason why many popular programming languages cannot be used for making robust system software. (page 32)”