أرسل هذا في رسالة قصيرة: Fundamentals of algebraic specification /