Seol mar théacs é seo: Algebraic specification techniques in object oriented programming environments /