Journal of Logic and Algebraic Programming, Volume 67

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

Algebraic Specification