Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia <br/><br/>
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy 

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