M. Bork, L. Geiger, C. Schneider, und A. Zündorf. ECMDA-FA, Volume 5095 von Lecture Notes in Computer Science, Seite 33--47. Springer, (2008)http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2008.html#BorkGSZ08.
M. Bork, L. Geiger, C. Schneider, und A. Zündorf. ECMDA-FA, Volume 5095 von Lecture Notes in Computer Science, Seite 33--47. Springer, (2008)http://dblp.uni-trier.de/db/conf/ecmdafa/ecmdafa2008.html#BorkGSZ08.