Anfonwch hwn fel neges destun: Algebraic specification techniques in object oriented programming environments /