9783540672579

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences … (Lecture Notes in Computer Science, 1784)