Computer Programs and Software Systems: Theories and Methods