Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen. Modular Bialgebraic Semantics and Algebraic Laws. In André Rauber Du Bois, Phil Trinder, editors, Programming Languages - 17th Brazilian Symposium, SBLP 2013, BrasÃlia, Brazil, October 3 - 4, 2013. Proceedings. Volume 8129 of Lecture Notes in Computer Science, pages 46-60, Springer, 2013. [doi]