The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.