LaSIGE C6.3.30, Computer Science Dept. 

Faculty of Sciences, University of Lisbon

Campo Grande

1749-016 Lisbon, Portugal

GHC-7701 Computer Science Dept.

Carnegie Mellon University

5000 Forbes Avenue

Pittsburgh, PA 15213-3891, U.S.