Fundamental approaches to software engineering : third international conference FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, German