Lei Tang: A Set of Protocols for Micropayments in Distributed Systems. USENIX Workshop on Electronic Commerce 1995