Hague, M., & Ong, C. (2010). Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation).
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Hague, M., và C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Hague, M., và C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
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%.