The B Language and Method: A Guide to Practical Formal Development (Formal Approaches Computing Information Technology (FACIT))

Program Development by Refinement: Case Studies Using The B Method (Formal Approaches...

A Theory and Practice of Program Development (Formal Approaches to Computing Information Technology (FACIT))

Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification