أرسل هذا في رسالة قصيرة: Algebraic specification techniques in object oriented programming environments / R. Breu.