Springer
A. Muscholl
Lecture Notes in Computer Science
Conference on Foundations of Software Science and Computation Structures
Computer Security

Rot, J., & Bonsangue, M. (2014). Combining Bialgebraic Semantics and Equations. In A. Muscholl (Ed.), Lecture Notes in Computer Science (Vol. 8412, pp. 381–395). Springer.