Bole,Leonard <br/><br/>
Time and Logic a computational approach 

 - USA  McGraw -Hill  2002 
 - 881