Mathematical Structures

Formalizing abstract structures by classes and objects