.
So far there are two books by Jos Warmer and Anneke Kleppe that give a detailed explanation of the OCL language.