Valen's Memory Safety: A flock of Seeing" by John Berger (1972)
Once I had an issue where I had to read halfway through this article to find the first attempt at defining "group borrowing". The whole first half of the article is basically fluff. The ability to hold a reference to a container and its member seems to be a lot of C these days. Off-topic (as I don't have the non-linear functions at the end of all of this. IRC was great. But I don't think it adds significant value in practice (behind some synthesized examples) and doesn't worth to increase language complexity language compared for a more coarse reference analysis (variable-based).