1. Lecture Notes in Computer Science;E. Alkassar,2008
2. ARM Limited. ARM Architecture Reference Manual, ARMv7-A and ARMv7-R edition (2011)
3. Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczynski, M., Becker, D., Eggers, S., Chambers, C.: Extensibility, Safety and Performance in the SPIN Operating System. In: Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pp. 267–284 (1995)
4. Blume, M., et al.: Standard ML of New Jersey (2009),
http://www.smlnj.org/
5. Cardelli, L., et al.: Modula-3 report (revised). Technical report, Digital Equipment Corp. (now HP Inc.) (November 1989),
http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-52.html