This is the perfect site for newbies and skilled people alike, it saves time and money, the ecovers come out looking as if a professional graphic artist rendered them. i recently rendered a few dvd/covers and ebook covers that look so awesome you really must try this site.
L. Schröder, und T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), Volume 2422 von Lecture Notes in Computer Science, Seite 99--116. Springer; Berlin; http://www.springer.de, (2002)