Backhose, R. (2004). Program construction: Calculating implementations from specifications. Wiley dreamtech.
Trích dẫn kiểu ChicagoBackhose, Ronald. Program Construction: Calculating Implementations from Specifications. New Delhi: Wiley dreamtech, 2004.
Trích dẫn MLABackhose, Ronald. Program Construction: Calculating Implementations from Specifications. Wiley dreamtech, 2004.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.