[MSDN Library April 2000] Microkernel (100%)
MSDN Library - April 2000 > Windows Resource Kits > Windows NT Workstation 4.0 Resource Kit > Chapter 5 - Windows NT 4.0 Workstation Architecture
[MSDN Library April 2000] Microkernel Objects (39.8884655076606%)
MSDN Library - April 2000 > Windows Resource Kits > Windows NT Workstation 4.0 Resource Kit > Chapter 5 - Windows NT 4.0 Workstation Architecture > Microkernel