Formal object-oriented specification using object-z - Kuke Roger Ed.; Rose Gordon Ed. (2000)