Elementy analiza programm. Častičnyje funkcii na množestve sostojanij - Abramov, Sergej Aleksandrovič (Nauka, 1986)