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