Ein hierarchischer inkrementeller Designrulechecker. - Jürgen Hannken-Illjes; Ulrich Golze (it Inf. Technol., 1986)