High-Performance Microkernel Systems (Panel Statement).

Steven Lucco High-Performance Microkernel Systems (Panel Statement). 199 1994 OSDI db/conf/osdi/osdi94.html#Lucco94