MAVIS: A Secure Formal Computational Paradigm based on the Mammalian Visual System. - W. Gareth J. Howells; Klaus D. McDonald-Maier; T. Binzegger; M. P. Young (BLISS, 2007)