You are about to access our book library "The Spine of Software: Designing Provably Correct Software-Theory and Practice full version" .