Hague, M., & Ong, C. (2008). Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems.
Chicago-referens (17:e uppl.)Hague, M., och C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
MLA-referens (9:e uppl.)Hague, M., och C. Ong. Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems. 2008.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.