pierre.louis.cayrel@univ-st-etienne.fr
rlindner@cdc.informatik.tu-darmstadt.de
rueckert@cdc.informatik.tu-darmstadt.de
rasilva@ic.unicamp.br
© 2013 Pierre-Louis Cayrel, Richard Lindner, Markus Rückert, Rosemberg Silva, published by Slovak Academy of Sciences, Mathematical InstituteThis work is licensed under the Creative Commons License.