Revision as of 19:09, 15 April 2019 edit 62.74.8.200 (talk) No edit summary Tags: Mobile edit Mobile web edit ← Previous edit		Revision as of 05:52, 25 November 2019 edit undo I grieve in stereo (talk \| contribs) Extended confirmed users 18,681 edits m Moving from Category:1998 books to Category:1998 non-fiction books using Cat-a-lot Next edit →
Line 64: * [https://web.archive.org/web/20161007215026/http://unifyingtheories.org/ UTP book] on [[Archive.org]] [[Category:1998 non-fiction books]] [[Category:Computer science books]] [[Category:Formal methods publications]]

Unifying Theories of Programming: Difference between revisions