Kfoury A J

Publications in Math-Net.Ru

1. Some open questions in the theory of program schemes and dynamic logics
   
   Uspekhi Mat. Nauk, 44:1(265) (1989),  35–55