APA (7 वां संस्करण) प्रशस्ति पत्र

Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.

शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र

Dixon, A., R. Lazic, AS Murawski, और I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.

एमएलए (9वां संस्करण) प्रशस्ति पत्र

Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.