Media type: E-Article Title: OCCAM 2 imprint: Elsevier BV, 1999 Published in: Science of Computer Programming Language: English DOI: 10.1016/s0167-6423(98)00026-4 ISSN: 0167-6423 Keywords: Software Origination: Footnote: Access State: Open Access