Implementation of the comprehensive unification formalism - Schatz, Ulrich; Lehner, Christoph (CIS, 1990)