APA-viite (7. p.)
International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z ( Pisa, Italia), FM&ABZ, & Derrick, J. Abstract State Machines, Alloy, B, TLA, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings. Springer.
Chicago-viite (17. p.)
International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z ( Pisa, Italia), FM&ABZ, ja John Derrick. Abstract State Machines, Alloy, B, TLA, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings. Berlín, Alemania: Springer.
MLA-viite (9. p.)
International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z ( Pisa, Italia), et al. Abstract State Machines, Alloy, B, TLA, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.