The logical framework of Spectrum (1994)

by R Grosu, F Regensburger