Hague, M., & Ong, C. (2008). Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems.
芝加哥风格引文Hague, M., 与 C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
MLA引文Hague, M., 与 C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
警告：这些引文格式不一定是100％准确.