Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science)