Towards an axiomatic approach to information systems development | lit.salon