Journal of Logic and Algebraic Programming, Volume 67

Volume 67, Numbers 1-2, April-May 2006

Algebraic Specification
maintained by Schloss Dagstuhl LZI, founded at University of Trier