Cavalcanti, A., Deharbe, D., Gaudel, M.-C. und Woodcock, J. (Hrsg.) (2010) „Theoretical Aspects of Computing : 7 th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-14808-8.

Cavalcanti, Ana, David Deharbe, Marie-Claude Gaudel, und Jim Woodcock, Hrsg. „Theoretical Aspects of Computing : 7 th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 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-14808-8.

Cavalcanti, A., Deharbe, D., Gaudel, M.-C., … Woodcock, J. (Hrsg.). (ca. 2010). Theoretical Aspects of Computing : 7 th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 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-14808-8

Cavalcanti, A., D. Deharbe, M.-C. Gaudel, und J. Woodcock, Herausgeber. „Theoretical Aspects of Computing : 7 th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 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-14808-8.

CAVALCANTI, Ana, David DEHARBE, Marie-Claude GAUDEL und Jim WOODCOCK (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642148088