Rohr, Alexander : A Universal Realizability Model for Sequential Functional Computation. [Online-Edition] TU Darmstadt [Ph.D. Thesis], (2003)