Petr Hanácek Security of Electronic Money. 107-121 http://link.springer.de/link/service/series/0558/bibs/1521/15210107.htm 1998 conf/sofsem/1998 SOFSEM db/conf/sofsem/sofsem1998.html#Hanacek98