Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic SpecificationKokichi Futatsugi, Razvan Diaconescu44,00 €
