Inspired by PFPL. Papers to consider Modularity and Implementation of Mathematical Operational Semantics