KUČEROVÁ, Petra. Platební systémy a protokoly - analýza, simulace, verifikace. Online, Bakalářská práce, vedoucí Pavel Očenášek. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů. Dostupné z: http://hdl.handle.net/11012/55473. [cit. 2025-04-08].