Return to Article Details On Teaching Logic and Algebraic Specification Download Download PDF