On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).

Vincenzo Manca, Antonino Salibra, Giuseppe Scollo

Browse the full MFCS paper archive.