LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - HUTH AND RYAN; NO (CAMBRIDGE UNIVERSITY PRESS, 2004)
ALLIED