You are about to access our book library "CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION (Amast Computing) full version" .