| Type |  Book |
| ชื่อเรื่อง | An introduction to formal specification and z / Ben Potter, Jane Sinclair, David Till |
| ผู้แต่ง | Potter, Ben |
| ISBN | 0134787021 (pbk.) |
| พิมพลักษณ์ | New York : Prentice-Hall, c1991 |
| รูปเล่ม | 304 p. : ill |
| หัวเรื่อง | Specifications |
| | Z (Computer program language) |