Konsistenzsicherung von Schaltwerksbeschreibungen durch ein inkrementelles Compiler-Frontend. - Michael N. Lipp (1992)