Logic for Applications door Anil Nerode & Richard A. Shore