D. Bjorner, “Công nghệ phần mềm và lập trình quá khứ-hiện tại-tương lai”, JCC, vol. 4, no. 3-4, p. 19–26, Feb. 2018.