Hague, M., & Ong, C. (2010). Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation).
芝加哥风格引文Hague, M., 与 C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
MLA引文Hague, M., 与 C. Ong. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation). 2010.
警告：这些引文格式不一定是100％准确.