@Article{JOTMonoid,
  author =          {Miguel Garcia},
  title =          {Efficient {I}ntegrity {C}hecking for {E}ssential {MOF} + {OCL} in {S}oftware
{R}epositories},
  journal =          {Journal of Object Technology},
  volume = {7},
  number = {6},
  pages = {101?-119},
  year =          {2008},
  month =          {July-August},
  note =          {\url{http://www.jot.fm/issues/issue_2008_07/article3.pdf}},
}