Alagic <br/><br/>
Object-oriented Technology/ 

 - New York:   Springer, 
<br/><br/><br/>Typed Objects<br/><br/><br/>Assertions<br/><br/>Virtual Platform<br/><br/>Type Systems<br/><br/>Concurrent Models<br/><br/>Object Databases<br/><br/>Types and Constraints<br/><br/><br/> 
<br/><br/><label>ISBN: </label>978-3-319-20442-0