هذه نسخة قديمة من هذه الصفحة، وقام بتعديلها JarBot(نقاش | مساهمات) في 00:18، 23 أغسطس 2020(بوت:إصلاح رابط (1)). العنوان الحالي (URL) هو وصلة دائمة لهذه النسخة، وقد تختلف اختلافًا كبيرًا عن النسخة الحالية.
نسخة 00:18، 23 أغسطس 2020 من JarBot(نقاش | مساهمات)(بوت:إصلاح رابط (1))
^Jim Woodcock and جيم ديفيز [لغات أخرى], Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. (ردمك 978-0-13-948472-8)
.svg){kind=small}
المملكة المتحدة 
