I can't remember whether I invented the name. It might have been somebody else. I was the one to create the current, concise, clear definition. I think that Robert Pauli's Logical Japanese Rules of Go use a similar term and that preceded mine. But since I travel tomorrow, I cannot verify this now.
For greedy ancient rules, Berlekamp understood the concept quite some year ago but described it very differently in a way not so useful for go players, especially since those rules are not so popular :)
Also, as far as I can tell, the two-eye-formation defines a subset of Benson's definition of sets of unconditionally alive chains as given in his 1976 paper, extending the understanding back even further