Oferece uma base operacional para o uso da notação Z na especificação de módulos de software. Não pressupõe nenhum conhecimento prévio específico por parte do leitor. Pode ser utilizado tanto para autoinstrução quanto como livro-texto ou material de suporte em disciplinas
específicas que tratem da notação Z.