@inproceedings{DBLP:conf/gi/HennickerBKW01,
author = {Rolf Hennicker and
Hubert Baumeister and
Alexander Knapp and
Martin Wirsing},
title = {Specifying Component Invariants with OCL},
booktitle = {GI Jahrestagung (1)},
year = {2001},
pages = {600-607},
bibsource = {DBLP, http://dblp.uni-trier.de}
}