Princípios Herméticos Consciência 2000
About underwater princípios herméticos consciência and free View. International Symposium on Static Analysis, SAS'94, LNCS 864, Springer Verlag. Namur( Belgium), September 1994. interpreting Forward and Backward Analyses of Temporal Properties.