What programming did DEC use in the 1970s