Memory Management in Quintus Prolog. - Jim A. Crammond; Tim Lindholm (ICLP-Workshops on Implementation of Logic Programming Systems, 1993)

The Java Virtual Machine Specification - Tim Lindholm; Frank Yellin (Addison-Wesley, 1997)

Java - die Spezifikation der virtuellen Maschine. - Tim Lindholm; Frank Yellin (Addison-Wesley-Longman, 1997)