Radu Grosu Franz Regensburger The Semantics of SPECTRUM. 124-145 1993 conf/hoa/1993 HOA db/conf/hoa/hoa93.html#GrosuR93