Finite Model Theory by Heinz-Dieter Ebbinghaus & Jorg Flum