Frappier, M., Glässer, U., Khurshid, S., Laleau, R. und Reeves, S. (Hrsg.) (2010) „Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-11811-1.

Frappier, Marc, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, und Steve Reeves, Hrsg. „Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-11811-1.

Frappier, M., Glässer, U., Khurshid, S., Laleau, R., … Reeves, S. (Hrsg.). (ca. 2010). Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-11811-1

Frappier, M., U. Glässer, S. Khurshid, R. Laleau, und S. Reeves, Herausgeber. „Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-11811-1.

FRAPPIER, Marc, Uwe GLÄSSER, Sarfraz KHURSHID, Régine LALEAU und Steve REEVES (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642118111