E- text books

The IOTA Programming System

Author : Nakajima 

Springer

Access online

Web Technologies and Applications

Author : Ishikawa 

Springer

Access online

Rigorous State-Based Methods

Author : Raschke 

Springer

Access online