Tal Cohen, Joseph Gil, Itay Maman. Guarded Program Transformations Using JTL. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 100-120, Springer, 2008.
Abstract is missing.