„Das Forschungsnetzwerk zu Überwachung, Technologie und Kontrolle“ CCTV: http://pod.drs.ch/mp3/reflexe/reflexe_200904281335_10080029.mp3 Notes on the European Security Research Programme: http://neoconopticon.wordpress.com
zerlegt digital elektronische, Papier-, Mikrofilm- oder Mikrofiche- Dokumente in ihre Bestandteile und schafft durchsuchbare Inhalte bei gleichzeitigem
H. Chan, A. Perrig, and D. Song. CCS '06: Proceedings of the 13th ACM conference on Computer and communications security, page 278--287. New York, NY, USA, ACM Press, (2006)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
T. Mossakowski, M. Roggenbach, and L. Schröder. Coalgebraic Methods in Computer Science, volume 82 of Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)