@techreport{Lucas00tr,

 author = "S.Lucas", 

 title = "Observable Semantics and Dynamic Analysis of Computational Processes",

 institution = "Laboratoire d'Informatique (LIX), \'Ecole Polytechnique, 
                Palaiseau, France, 2000.",

 number = "LIX/RR/00/02",

 year = 2000
}