,
Elsevier
Electronic Notes in Theoretical Computer Science
Conference on the Mathematical Foundations of Programming Semantics
Computer Security

Alessi, F., Baldan, P., Bellè, G., & Rutten, J. (1995). Solutions of functorial and non-functorial metric domain equations. In Electronic Notes in Theoretical Computer Science. Elsevier.