• Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen Craig, Marc Fontaine
    The Ecce and Logen Partial Evaluators and their Web Interfaces.
    In Proceedings PEPM 06, John Hatcliff and Frank Tip, IBM Press, 88--94, 2006.
  • Michael Leuschel, Stephen Craig, Daniel Elphick
    Supervising Offline Partial Evaluation of Logic Programs using Online Techniques.
    In Proceedings LOPSTR'06, German Puebla, Lecture Notes in Computer Science, 4407, Springer-Verlag, 43--59, 2006.
  • Stephane Lo Presti, Michael Butler, Michael Leuschel, Chris Booth
    Holistic Trust Design of E-Services.
    In Trust in E-services: Technologies, Practices and Challenges, Ronggong Song and Larry Korba and George Yee, IGI Global, 113--139, 2006.
    • Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
      In Dagstuhl Seminar 06191 "Rigorous Methods for Software Construction and Analysis", J. Abrial, U. Glässer, 2006.
    • Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
      An open extensible tool environment for Event-B.
      In ICFEM 2006, Lecture Notes in Computer Science, Springer-Verlag, 49--63, 2006.