Operational Specifications with Built-Ins.

Jrgen Avenhaus, Klaus Becker

Browse the full STACS paper archive.