Non-deterministic program schemata and their relation to dynamic logic

1987

V. A. Nepomniaschy, N. V. Shilov

in: Mathematical logic and its applications, Berlin,