László Csirmaz Strong Semantical Characterization for Nondeterministic Programs. 407-416 1987 33 Math. Log. Q. 5 https://doi.org/10.1002/malq.19870330504 db/journals/mlq/mlq33.html#Csirmaz87