Cita APA (7a ed.)

Backhouse, R. C. (2003). Program construction: Calculating implementations from specifications. Wiley.

Cita Chicago Style (17a ed.)

Backhouse, Roland C. Program Construction: Calculating Implementations from Specifications. New York: Wiley, 2003.

Cita MLA (8a ed.)

Backhouse, Roland C. Program Construction: Calculating Implementations from Specifications. Wiley, 2003.