D. Ritchie and K. Thompson, The UNIX time-sharing system, Communications of the ACM, vol.17, issue.7, pp.365-375, 1974.
DOI : 10.1145/361011.361061

B. W. Lampson, On reliable and extendible operating systems Reprinted in The Fourth Generation, Proc. 2nd NATO Conference on Techniques in Software Engineering, pp.421-444, 1969.

M. Gien, Micro-Kernel Architecture, Key to Modern Operating Systems Design, Unix Review, vol.8, issue.11, 1990.

A. S. Tanenbaum, S. J. Mullender, and R. Van-renesse, Using Spare Capabilities in a Distributed System, Proceedings of the 6th International Conference on Distributed Computing Systems, 1986.

P. Pardyak and B. N. Bershad, Dynamic Binding for an Extensible System, Proceedings of the Second Symposium on Operating Systems Design and Implementation, 1996.
DOI : 10.1145/238721.238777

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit: A Substrate for Kernel and Language Research, Proceedings og the 16th ACM Symposium on Operating Systems Principles, 1997.

R. Dawson, M. F. Engler, . Kasshoek, O. James, and . Jr, Exokernel: An Operating System Architecture for Application-Level Resource Management, ACM Symposium on Operating Systems Principles, 1995.

M. F. Kaashoek, D. R. Engler, G. R. Ganger, H. M. Briceñobrice?briceño, R. Hunt et al., Application Performance and Flexibility on Exokernel Systems, ACM Symposium on Operating Systems Principles, 1997.
DOI : 10.1145/268998.266644
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.1539

J. Fassino and J. Stefani, Think : un noyau d'infrastructure répartie adaptable

P. J. Denning, Effects of scheduling on file memory operations, Proceedings of the April 18-20, 1967, spring joint computer conference on, AFIPS '67 (Spring), 1967.
DOI : 10.1145/1465482.1465485

L. Bruce, G. R. Worthington, Y. N. Ganger, and . Patt, Scheduling Algorithms for Modern Disk Drives, ACM Sigmetrics Conference, 1994.

R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham, Efficient Software-Based Fault Isolation, ACM Special Interest Group on OPerating Systems, 1993.
DOI : 10.1145/168619.168635
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.1419