Specifikacija programm : ponjatijnyje sredstva i ich organizacija - Agafonov, Valerij Nikolajevič (Novosibirsk : Nauka, 1987)
Keywords: programovanie; projektovanie programov; aspekty jazykové a matematické