The 2. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 1999