Backhouse, R. (2003). Program construction: Calculating implementations from specifications. Inglaterra: John Wiley and Sons, Inc.
Chicago Style CitationBackhouse, Roland. Program Construction: Calculating Implementations From Specifications. Inglaterra: John Wiley and Sons, Inc, 2003.
MLA CitationBackhouse, Roland. Program Construction: Calculating Implementations From Specifications. Inglaterra: John Wiley and Sons, Inc, 2003.
Warning: These citations may not always be 100% accurate.