Nepomnjascij, V.A..  <br/><br/>
Prikladnye metody veryfikacii programm /  
Nepomnjascij V.A., Rjakin O.M.. 
 - Moskva :   Radio i Svjaz',   1988. 
 - 256 s.;   20 cm. 
<br/><br/><label>ISBN: </label>5256001566