Discussion following "software as reliable artefact"