Algebraic specification techniques in object oriented programming environments - Breu, R. (Lecture notes in computer science ;)