Z3; Documentos adicionais