Ngôn ngữ hình thức kiến trúc. Tập 2 (Xây dựng, 2017)