Volume 1: Logical Foundations
Volume 2: Programming Language Foundations
Volume 3: Verified Functional Algorithms
Volume 5: Verifiable C