Dixon, A., Lazic, R., Murawski, A., & Walukiewicz, I. (2021). Leafy automata for higher-order concurrency. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Dixon, A., R. Lazic, AS Murawski, và I. Walukiewicz. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Dixon, A., et al. Leafy Automata for Higher-order Concurrency. Springer, 2021.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.