Two by Nicklaus Wirth: Algorithms + Data Structures = Programs Project Oberon: The Design of an Operating System and Compiler