Curious about some programming languages history: when/where did the idea of "Memory Safety" come from? Is there a good source that traces its development and formalization?