इसका टेक्स्ट मैसेज भेजे: Algebraic specification techniques in object oriented programming environments / R. Breu.