Cita APA (7a ed.)

Backhouse, R. (2003). Program construction: Calculating implementations from specifications. John Wiley and Sons.

Cita Chicago Style (17a ed.)

Backhouse, Roland. Program Construction: Calculating Implementations from Specifications. West Sussex: John Wiley and Sons, 2003.

Cita MLA (9a ed.)

Backhouse, Roland. Program Construction: Calculating Implementations from Specifications. John Wiley and Sons, 2003.