monoidal Mealy machine effectful Mealy machine References. A Method for Synthetizing Sequential Circuits (Mealy, 1955) A New Equivalence Notion for Communicating Systems (Park, 1981)