Logic for Applications (1997)

by Anil Nerode, Richard A Shore