Content deleted Content added
added Category:Prentice Hall books using HotCat |
Citation bot (talk | contribs) Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine |
||
Line 57:
==Further reading==
* [[Jim Woodcock]] and Ana Cavalcanti. A tutorial introduction to designs in Unifying Theories of Programming. In ''Integrated Formal Methods'', volume 2999 of [[Lecture Notes in Computer Science]], pages 40–66. [[Springer-Verlag|Springer]] Berlin / Heidelberg, 2004. {{ISBN|978-3-540-21377-2}}. {{
* Ana Cavalcanti and Jim Woodcock. A tutorial introduction to CSP in Unifying Theories of Programming. In ''Refinement Techniques in Software Engineering'', volume 3167 of Lecture Notes in Computer Science, pages 220–268. Springer Berlin / Heidelberg, 2006. {{
==External links==
| |||