Specification Languages for Preserving Consistency between Models of Different Languages
Cuốn sách trình bày một phương pháp bảo toàn tính nhất quán trong phát triển hệ thống CNTT phức tạp bằng cách phân loại các thách thức, hình thức hóa bằng lý thuyết tập hợp, giám sát thay đổi để tránh sai lệch và giới thiệu ba ngôn ngữ mới tuân theo phương pháp này.