Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code(PDF). DAMP 2009. pp. 13—24. Архивировано из оригинала(PDF)19 сентября 2020. Дата обращения: 25 ноября 2020.
web.archive.org
CakeML (неопр.). Дата обращения: 25 ноября 2020. Архивировано 14 сентября 2020 года.
Jade Alglave; Anthony C. J. Fox; Samin Ishtiaq; Magnus O. Myreen; Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli. The Semantics of Power and ARM Multiprocessor Machine Code(PDF). DAMP 2009. pp. 13—24. Архивировано из оригинала(PDF)19 сентября 2020. Дата обращения: 25 ноября 2020.