Schach, T., Ph.D. Dissertation, University of Kaiserslautern, (, (1989)).