Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000,. ISBN 3540672575. Published by Springer in 2000. Publication and catalogue information, links to buy online and reader comments.