Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes. - James Leslie Keedy; Klaus Espenlaub; Gisela Menger; Axel Schmolitzky; Mark Evered (ICSR, 2000)

Qualifying Types with Bracket Methods in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2004)

Statically Qualified Types in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger; Mark Evered (J. Object Technol., 2005)

Design of the SPEEDOS operating system kernel. - Klaus Espenlaub (2005)

Call-out Bracket Methods in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2006)

Support for Object Oriented Transactions in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger; Frans A. Henskens; Michael Hannaford (J. Object Technol., 2006)

Persistent Objects and Capabilities in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2007)

Persistent Processes and Distribution in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2007)

Security and Protection in Timor Programs. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2008)