Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Towards a K Semantics for OCL. Electronic Notes in Theoretical Computer Science, 304:81-96, 2014. [doi]
@article{ArusoaieLR14, title = {Towards a K Semantics for OCL}, author = {Andrei Arusoaie and Dorel Lucanu and Vlad Rusu}, year = {2014}, doi = {10.1016/j.entcs.2014.05.004}, url = {http://dx.doi.org/10.1016/j.entcs.2014.05.004}, researchr = {https://researchr.org/publication/ArusoaieLR14}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {304}, pages = {81-96}, }