„Die Realität zwischen technischer Inkompetenz, Überwachungswahn und politischen Stunts ist weit entfernt von Szenarien Marke 1984. Und doch gibt es Gründe genug, den Behörden auf die Finger zu schauen.“
„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
T. Mossakowski, M. Roggenbach, и L. Schröder. Coalgebraic Methods in Computer Science, том 82 из Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
M. Lochau, S. Mennicke, H. Baller, и L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, том 8802 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)