Content deleted Content added
Tidying, links, ext links section |
|||
Line 58:
==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 10.1007/11889229_6}} {{citeseerx|10.1.1.97.3469}} [https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/utp-tutorial-CSP.pdf paper]
==External links==
| |||