Ian G. Harris, Franco Fummi: Guest Editor’s Introduction. International Journal of Parallel Programming (IJPP) 34(1):1-2 (2006)
Samar Abdi, Daniel Gajski: Verification of System Level Model Transformations. International Journal of Parallel Programming (IJPP) 34(1):29-59 (2006)