Includes supplementary material: sn.pub/extras
Didier Bert
Abstract Data Types Algebraic Program Development Algebraic Systems Specification Formal Methods Formal Specification Proof Systems Specification Frameworks Term Rewriting Turing logic validation