Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, . ISBN 9783540330455. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.