Content deleted Content added
Citation bot (talk | contribs) Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine |
Citation bot (talk | contribs) Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_toolbar |
||
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}}. {{doi|10.1007/978-3-540-24756-2_4}} {{
* 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. {{doi|10.1007/11889229_6}} {{
==External links==
| |||