Alagar, V S <br/><br/>
Specification of software systems 
V S Alagar and K Periyasamy 
 - 2nd ed. 
 - London  Springer  2011 
 - xxv, 644p. 
<br/><br/><label>ISBN: </label>9780857292766 
<br/><br/><label>Subjects--Index Terms: </label>Software specification Logic Temporal Logic 
<br/><br/><label>Universal Decimal Class. No.: </label>004.414.28  / ALA