Butler W. Lampson Distributed Systems Garbage Collection Language Runtimes Memory Management Microkernels Operating Systems Recommended Reading System Design Technical Writing Virtual Machines VMMs