Bjorner, Dines. “Công nghệ phần mềm Và lập trình Quá khứ-hiện tại-tương Lai”. Journal of Computer Science and Cybernetics 4, no. 3-4 (February 2, 2018): 19–26. Accessed May 4, 2024. https://vjs.ac.vn/index.php/jcc/article/view/11212.