Probabilistic models for the guarded command language
scientific article; zbMATH DE number 1022176