Buchi, Lindenbaum, Tarski: A Program Analysis Appetizer

  Abstract