Łąski Janusz
Synthesis of probability transformers