Bjorner, D. Công nghệ phần mềm Và lập trình Quá khứ-hiện tại-tương Lai. JCC 2018, 4, 19-26.