Formal Specification and Verification in Visi Design (Edinburgh Information Tech by Bruce Davie