FOSSACS 2000 (2000 Berlin, Germany)

• Foundations of software science and computation structures