when was proof of stake theorized ?

Hi l've seen a while ago that Proof of stake concensus mechanism was theorized a while ago (before proof of work) in distributed systems. But I can't find any source of that, while searching 'proof of stake' on internet can only see Ethereum related stuffs. Was proof of stake theorized in 2011 or before that ? Thanks a lot