Computational Artefacts: Towards a Philosophy of Computer Science