Practical Foundations for Programming Languages
Robert Harper
21st Century C
Ben Klemens
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
Mediated
Thomas de Zengotita
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923