Hague, M., & Ong, C. (2010). Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation).
Чикаго стиль цитування (17-те видання)Hague, M., та C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
Стиль цитування MLA (9-ме видання)Hague, M., та C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
Попередження: стилі цитування не завжди правильні на всі 100%.