Theory of relations - R. Fraisse (North-Holland, 1986)