| Type |  Book |
| ชื่อเรื่อง | Using Z specification, refinement, and proof / Jim Woodcock and Jim Davies |
| ผู้แต่ง | Woodcock, Jim |
| ISBN | 0139484728 (pbk) |
| | 0139484728 |
| พิมพลักษณ์ | London : Prentice-Hall, c1996 |
| รูปเล่ม | ix, 386 p |
| หัวเรื่อง | Programming languages (Electronic computers) |
| | Z (COMPUTER PROGRAM LANGUAGE) |