Theory of mathematical structures - Adamek Jiri (1983)