The logic framework of SPECTRUM - Grosu, Radu; Regensburger, Franz (Inst. für Informatik, 1994)