The way of Z: practical programming with formal methods - Jacky, Jonathan (Cambridge University press, 1997)