„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, 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)
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)