You are about to access our book library "Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference full version" .