Carsten Rathsack: Zur Übersetzung von Termen eines angewandten Λ-Kalküls in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung. Shaker University of Kiel, Germany 1998, ISBN 978-3-8265-3588-8, 1-135