Operace Dunaj, aneb, Internacionální vražda Pražského jara - Benčík, Antonín, 1926-2017 (Krutina Jiří - Vacek, 2013)