@book{DBLP:books/infix/Denker96,
author = {Grit Denker},
title = {Verfeinerung in objektorientierten Spezifikationen},
publisher = {Infix Verlag, St. Augustin, Germany},
series = {DISDBIS},
volume = {6},
year = {1996},
isbn = {3-89601-406-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}