R. Breu

1964

• Algebraic specification techniques in object oriented programming environments