Especificação do Browse Component em Z/Eves

Estou adicionando a especificação do CICS, descrita no artigo:
Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio.


"Mechanising IBM's CICS Browser Component: An experiment of the Grand Challenge" in ERBASE 2009. Original title: Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio.

Documento original: ftp://ftp.cs.york.ac.uk/pub/leo/mefes/cics/z-refinement/
Article/Artigo: https://dl.dropboxusercontent.com/u/11299884/Papers/erbase-09.pdf
Specification/Especificação: http://dl.dropbox.com/u/11299884/ZEves/Specification.zip