monoidal transition system effectful transition system effectful transition systems in do-notation Literature. Formal Verification of Parallel Programs (Keller)