LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

the Mathematical Function Computation Handbook: Programming Using MathCW Portable Software Library

Proof Theory and Logic Programming: Computation as Search

HIGH PERFORMANCE DART PROGRAMMING: Parallel Algorithms for Mathematical Computation and Statistical Analysis