(1)Bjorner, D. Công nghệ phần mềm Và lập trình Quá khứ-hiện tại-tương Lai. <i>J. Comput. Sci. Cybern.</i> <b>2018</b>, <i>4</i>, 19-26.