Cavalcanti, A., Sampaio, A. und Woodcock, J. (Hrsg.) (2006) „Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures“, Programming and Software Engineering. 1 st edition 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11889229.
Chicago Manual of Style 17th edition (full note)Cavalcanti, Ana, Augusto Sampaio, und Jim Woodcock, Hrsg. „Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11889229.
American Psychological Association 7th editionCavalcanti, A., Sampaio, A., … Woodcock, J. (Hrsg.). (ca. 2006). Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures [Cd]. In Programming and Software Engineering (1 st edition 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11889229
Modern Language Association 9th editionCavalcanti, A., A. Sampaio, und J. Woodcock, Herausgeber. „Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures“. Programming and Software Engineering, 1 st edition 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11889229.
ISO-690 (author-date, Deutsch)CAVALCANTI, Ana, Augusto SAMPAIO und Jim WOODCOCK (Hrsg.). [cd]. 2006. 1 st edition 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540462545