From Object-Orientation to Formal Methods: Essays in Memory ...
Olaf Owe
R ̆azvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularization. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83–130. Cambridge, 1993. 16. Tim Berners-Lee et al. Semantic web ...