The Sublime Object of Ideology
Slavoj Zizek
BEING AND TIME
Heidegger
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program