ESOP 2000 European Symposium on Programming