The Way of Z: practical programming with formal methods - Jacky, Jonathan (1997)