The Double-Spending problem is a variant of the Byzantine Generals Problem which has a nice write up by Lamport, Shostak and Pease. But who first coined/defined the specific Double-Spending problem? Or linked the BGP to the digital currency domain? Does there exist a proper academic write up, defining the problem, that predates bitcoin?
I searched for a bit and can only find write ups after Nakamoto's publication.