The logical framework of SPECTRUM - Grosu, Radu; Regensburger, Franz (1994)