Finite Model Theory door Heinz-Dieter Ebbinghaus & Jorg Flum