Stochastische Zustandsübergangsmodelle und strategisierte formale Systeme. - Dietrich W. Paul (1981)