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. ISBN 3540672613. Published by Springer in 2000. Publication and catalogue information, links to buy online and reader comments.