Գրեք սա: Z : an introduction to formal methods / Antoni Diller.