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, Amsterdam the Netherlands March 22-28, 1999 : proceedings