Revision as of 10:50, 14 February 2016 edit GünniX (talk \| contribs) Extended confirmed users 337,299 edits m ISSN, DOI using AWB ← Previous edit		Revision as of 15:10, 5 December 2016 edit undo Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits →Further reading: fix DOI Next edit →
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}} {{citeseerx\|10.1.1.99.2929}} [https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/utp-tutorial-designs-v2.pdf paper] * 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==

Unifying Theories of Programming: Difference between revisions