David H. Akehurst W. Gareth J. Howells Markus Scheidgen Klaus D. McDonald-Maier C# 3.0 makes OCL redundant! 2008 9 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/103 db/journals/eceasst/eceasst9.html#AkehurstHSM08