Added Erik Meijer's title and abstract.