Book

The metatheory of the elementary equation calculus

by Alan Bundy