Trích dẫn kiểu APA (xuất bản lần thứ 7)
Marc Frappier, U. G. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Marc Frappier, Uwe Glässer. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings. Berlín, Alemania: Springer.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Marc Frappier, Uwe Glässer. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings. Springer.
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%.