This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Non-deterministic program schemata and their relation to dynamic logic
V. A. Nepomniaschy, N. V. Shilov
pp. 137-147
Not implemented yet !