The C Programming Language
Ritchie & Kernighan
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
21st Century C
Ben Klemens
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program