The Iris Kernel architecture
2005 ◽
pp. 348-362
◽