@TechReport{DarvasMueller07,
   author =      {Darvas, \'A. and M{\"u}ller, P.},
   title =       {Formal encoding of {JML} {L}evel 0 specifications in {\sc Jive}},
   editor =      {Meyer, B. and M{\"}uller, P. and Oriol, M.},
   booktitle =   {Software Engineering 2007},
   institution = {ETH Zurich},
   number     =  {559},
   year =        {2007},
   note = {Annual Report of the Chair of Software Engineering. 17 pages}
  }