System Description Aspects as Syntactic Sugar.

Jens Brandt, Klaus Schneider

Browse the full FDL paper archive.