Electronic Notes in Theoretical Computer Science, Volume 21

Volume 21, 1999

Algebraic Specification in Action
maintained by Schloss Dagstuhl LZI at University of Trier