Bertrand Meyer. Building Trusted Components. In TOOLS USA 2001: Software Technologies for the Age of the Internet, 39th International Conference & Exhibition, Santa Barbara, CA, USA, July 29 - August 3, 2001. pages 347, IEEE Computer Society, 2001. [doi]