Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh - Phạm, Như Uyển (Đại học quốc gia Hà Nội, 2017)