Robin Milner;Mads Tofte
-;-
The Fox Project: a language-structured approach to networking software
Crossroads - Special issue on networks
Locales: A Module System for Mathematical Theories
Journal of Automated Reasoning