Cambridge University Press Way of Z: Practical Programming with Formal Methods