Hague, M., & To, A. (2010). The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems.
Чикаго стиль цитування (17-те видання)Hague, M., та A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
Стиль цитування MLA (9-ме видання)Hague, M., та A. To. The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems. 2010.
Попередження: стилі цитування не завжди правильні на всі 100%.