APA stil citiranja

Cavalcanti, A., Sampaio, A., & Woodcock, J. (2006). Refinement techniques in software engineering: Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures. Berlin ; New York: Springer.

Chicago stil citiranja

Cavalcanti, Ana, Augusto Sampaio, and Jim Woodcock. Refinement techniques in software engineering: Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures. Berlin ; New York: Springer, 2006.

MLA stil citiranja

Cavalcanti, Ana, Augusto Sampaio, and Jim Woodcock. Refinement techniques in software engineering: Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures. Berlin ; New York: Springer, 2006.