If one can get hold of the Modula-3 books I would advise it.

It shows the path of having GC enabled systems programming languages, which also offers all features at C++ level (minus template metagramming and macros), and how we could already be there in the early 1990's, had it not been for the Compaq merges messing it all up.