Foundations of software science and computation structures : Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, . ISBN 3540657193. Published by Springer-Verlag in 1999. Publication and catalogue information, links to buy online and reader comments.