Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic Specification