Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879
The Four Steps to the Epiphany
Steve Blank
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
New Foundations for Classical Mechanics
D. Hestenes