Books Or Web Sites On O/S Theory?

M asks: "I've recently been trying to think lots about O/S's and UI's and what would make a good one. But rather than reinventing the wheel I thought I'd start by reading up on what clever people before me have thought. So does anyone know of a definitive guide to O/S theory?"