Duke, Roger
Formal object-oriented specification using Object-Z
- Basingstoke: MacMillan, 2000
- x, 229 p.; ill.: 25 cm.
- Cornerstones of computing .
0333801237 (pbk)
Object-oriented programming
Z - Computer program language
Reliable behaviour
Object containment
005.117 / DUK