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