Specifikacija programm. Ponjatijnyje sredstva i ich organizacija - Agafonov, Valerij Nikolajevič (Nauka, 1990)