Gordon, Mike1.2 History (неопр.). Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group) (16 ноября 1994). Дата обращения: 28 апреля 2016. Архивировано 5 марта 2017 года.
isa-afp.org
Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, RenéArchive of Formal Proofs (неопр.). Дата обращения: 22 октября 2019. Архивировано 19 декабря 2020 года.
Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel"(PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana, US. pp. 207—200. Архивировано из оригинала(PDF)28 июля 2011. Дата обращения: 12 апреля 2020.
Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson, Larry; Thiemann, RenéArchive of Formal Proofs (неопр.). Дата обращения: 22 октября 2019. Архивировано 19 декабря 2020 года.
Gordon, Mike1.2 History (неопр.). Isabelle and HOL. Cambridge AR Research (The Automated Reasoning Group) (16 ноября 1994). Дата обращения: 28 апреля 2016. Архивировано 5 марта 2017 года.
Klein, Gerwin; Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon (October 2009). "seL4: Formal verification of an OS kernel"(PDF). 22nd ACM Symposium on Operating System Principles. Big Sky, Montana, US. pp. 207—200. Архивировано из оригинала(PDF)28 июля 2011. Дата обращения: 12 апреля 2020.