Theory of mathematical structures. - Adamek Jiri (1983)