ulfn@chalmers.se, ^ulfn@cs\.chalmers\.se$
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>, ^Nils Anders Danielsson <nad@cs\.chalmers\.se>$
andreas.abel@ifi.lmu.de, ^abel@cs\.chalmers\.se$
Andrés Sicard-Ramírez <andres.sicard.ramirez@gmail.com>, ^andres\.sicard\.ramirez@gmail\.com$, ^andres\.sicard@gmail\.com$
