@book{ Solr-124296, title = {Development of incremental integration tools using formal specifications.}, series = {Aachener Informatik-Berichte ;}, author = {Lefering, Martin.}, editor = {Lefering, Martin.}, address = {Aachen}, publisher = {Technische Hochschule Aachen}, year = {1994}, note = {englisch}, }