Logic in computer science modelling and reasoning about systems - Huth, Michael; Ryan, Mark (Cambridge University Press UK, 2004)
Keywords: COMPUTER MODELLING; LOGIC