H. Veith:
"Special Issue: Games in Verification (foreword)";
Journal of Computer and System Sciences, 78 (2012), 2; 393.
http://dx.doi.org/10.1016/j.jcss.2011.05.007Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_208971.pdf