Issues in constructing program theory · Study