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