[MSDN Library June 1998] Microkernel (100%)

MSDN Library Visual Studio 6.0 > Windows Resource Kits > Windows NT Workstation 4.0 Resource Kit > Chapter 5 - Windows NT 4.0 Workstation Architecture

[MSDN Library June 1998] Microkernel Objects (39.8884655076606%)

MSDN Library Visual Studio 6.0 > Windows Resource Kits > Windows NT Workstation 4.0 Resource Kit > Chapter 5 - Windows NT 4.0 Workstation Architecture > Microkernel