Algebraic reasoning for probabilistic action systems and while-loops
scientific article; zbMATH DE number 5313101