Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach <br/><br/>
Language, Logic, and Computation 

 -  Springer  Springer  2019 
<br/><br/><label>ISBN: </label>9783662595657 
<br/><br/><label>Source: </label>EBOOK