Dams, D. R. (1996). Abstract interpretation and partition refinement for model checking. Technische Universiteit Eindhoven.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Netherlands: Technische Universiteit Eindhoven, 1996.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Technische Universiteit Eindhoven, 1996.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.