ĎURÍČEK, Maroš. Challenges of Cooperative Control-Flow Checking. In Počítačové architektury a diagnostika 2013 : proceedings; Pracovní seminář pro studenty doktorského studia, Teplá, Česká republika, 9-11 September 2013. 1. vyd. Plzeň : Západočeská univerzita v Plzni, 2013, s.27-32. ISBN 978-80-261-0270-0. I*54/13