Books about Formal Specification and Verification in Visi Design (Edinburgh Information Tech