with Nepomniaschy, V. A. , 1987, Non-deterministic program schemata and their relation to dynamic logic, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 137-147.