Markus Endler
PUC-Rio
Contact:
homepage: http://www-di.inf.puc-rio.br/~endler/