<em>Program Construction: Calculating Implementations from Specifications</em> by R.C. Backhouse, John Wiley & Sons, 2004

Volume 14
Issue 05 - Sep 2004
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;"><em>Program Construction: Calculating Implementations from Specifications</em> by R.C. Backhouse, John Wiley & Sons, 2004</div><br><div style="font-size: 10px;"><b>Nimish Shah (2004).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP">Journal of Functional Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=JFP&volumeId=14&bVolume=y#loc14 ">Volume 14</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=JFP&volumeId=14&issueId=05&iid=241793"> Issue 05</a>, September 2004 pp 598-600 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=241793">http://journals.cambridge.org/action/displayAbstract?aid=241793</a></div></div>
The code will display like this:

Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004

Nimish Shah (2004).
Journal of Functional Programming, Volume 14, Issue 05, September 2004 pp 598-600 http://journals.cambridge.org/action/displayAbstract?aid=241793

Blog this Article

Journal of Functional Programming (2004), 14 : 598-600 Cambridge University Press

Copyright © 2004 Cambridge University Press

doi:10.1017/S0956796804265327 (About doi)

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.

Social Bookmarking

Username or Email Address	Password

Cambridge Journals Online

Journal of Functional Programming (2004), 14 : 598-600 Cambridge University Press

Copyright © 2004 Cambridge University Press

doi:10.1017/S0956796804265327 (About doi)

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.