FOSSACS 2005 (2005 Edinburgh, Scotland)

• Foundations of software science and computation structures