Elements of Finite Model Theory
ISBN-13: 9773540212028