Protect specification, testing and verification XV / 
P. Dembinski, M. Sredniaiva, editors. 
 - New York :  Chapman & Hall,  1996. 
 - 455 p.  cm. 
<br/><br/><label>ISBN: </label>0412716208