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