00297nam a2200121 a 450000500170000008200150001710000140003210000120004624500440005826000360010230000230013863000140016120251202164256.0  aAlgebrab_  aEhrig, H.  aMahr, B  aFundamentals of Algebraic specification  aNew YorkbSpringer-Verlagc1985  a321 p.b24 cm.cPB  a512.5 EHI