Büttner, Fabian, and Mirco Kuhlmann. “Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL”. Electronic Communications of the EASST, vol. 15, Dec. 2008, doi:10.14279/tuj.eceasst.15.175.