[1]D. Bjorner, “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>, vol. 4, no. 3-4, p. 19–26, Feb. 2018.