FOSSACS 2000 - Foundations of Software Science and Computation Structures