The OCL Language Manual, Version 1.2 (2000)

by D Liu, T L McCluskey