Besides the OCL books by Jos Warmer and Anneke Kleppe there are several text books that incorporate OCL. See under Publications !