Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
Language Unlimited
David Adger
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Rust Programming by Example
Guillaume Gomez & Antoni Boucher