Algebraic specification techniques in object oriented programming environments - Breu, Ruth (Springer, 1991)