Logic for Applications (1993)

by Anil Nerode, Richard A Shore