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

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