CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004
|
Journal of Functional Programming (2004), 14 : 598-600 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S0956796804265327
Published online by Cambridge University Press 06 Aug 2004
*This article is available in a PDF that may contain more than one articles.
Therefore the PDF file's first page may not match this article's first page.
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=241793
Copy and paste this citation
Nimish Shah
(2004).
Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004. Journal of Functional Programming,
14
,
pp 598-600
doi:10.1017/S0956796804265327
doi:10.1017/S0956796804265327
