Compatibility of Software Components — Modelling and Verification
(May 2007)
PDF
Compressed Postscript (.ps.gz)