Barwise, Von <br/><br/>
Information Flow 

 -  Cambridge University Press  1997 
 - 274