Reusing OCL in the Definition of Imperative Languages

Paperback