Prikladnyje metody verifikacii programm - Nepomnjaščij, Valerij Aleksandrovič (Radio i svjaz', 1988)