SpringerLink (Online service), Börger, E., Butler, M., Bowen, J. P., & Boca, P. (2008). Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Egon Börger, Michael Butler, Jonathan P. Bowen, και Paul Boca. Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Springer Berlin Heidelberg, 2008.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.