FOSSACS 2001 (2001 Genoa, Italy)

• Foundations of software science and computation structures