@phdthesis{nl,
  title = {Verifying OCL specifications of UML models: tool support and compositionakity},
  author = {Marcel Kyas},
  year = {2006},
  note = {http://d-nb.info/97879219X},
  researchr = {https://researchr.org/publication/nl},
  cites = {0},
  citedby = {0},
  school = {Leiden University},
}